Changeset 28 for vis_dev/vis-2.3/Makefile.in

Timestamp:

Dec 4, 2011, 12:04:34 PM (13 years ago)

Author:

cecile

Message:

exemples de test

File:

• vis_dev/vis-2.3/Makefile.in (modified) (1 diff)

vis_dev/vis-2.3/Makefile.in

@@ -96 +96 @@
 ALL_PKGS = abs amc baig bmc cmd ctlp ctlsp eqv fsm rob grab hrc imc img io ltl \
         maig mark mc mvf mvfaig ntk ntm ntmaig ord part puresat rst res restr \
-        rt sat sim spfd synth tbl truesim tst var vm
+        rt sat sim spfd synth tbl truesim tst debug  var vm
 # Generate the list of all packages NOT in the PKGS list