Author: parnjai
Date: Sun Dec 11 19:10:56 2011
New Revision: 6985
URL: http://svn.gna.org/viewcvs/service-tech?rev=6985&view=rev
Log:
* add --mp option
* add output header file
Added:
trunk/maxis/m4/Makefile.src
trunk/maxis/m4/st_autotest.m4
trunk/maxis/m4/st_basic.m4
trunk/maxis/m4/st_lola.m4
trunk/maxis/m4/st_pnapi.m4
trunk/maxis/m4/st_verbose.m4
trunk/maxis/tests/testfiles/myCoffee.bits.og
trunk/maxis/tests/testfiles/myCoffee.mp.sa
trunk/maxis/tests/testfiles/myCoffee.mp.sa.owfn
trunk/maxis/tests/testfiles/myCoffee.sa
trunk/maxis/tests/testfiles/problem_1.bits.og
trunk/maxis/tests/testfiles/problem_1.l0.m.sa.owfn
trunk/maxis/tests/testfiles/problem_1.l1.m.sa.owfn
trunk/maxis/tests/testfiles/problem_1.l2.m.sa.owfn
trunk/maxis/tests/testfiles/problem_1.mp.sa
trunk/maxis/tests/testfiles/problem_1.mp.sa.owfn
trunk/maxis/tests/testfiles/testxy.l0.m.sa.owfn
trunk/maxis/tests/testfiles/testxy.l1.m.sa.owfn
trunk/maxis/tests/testfiles/testxy.l2.m.sa.owfn
trunk/maxis/tests/testfiles/testxy.mp.sa
trunk/maxis/tests/testfiles/testxy.mp.sa.owfn
trunk/maxis/tests/testfiles/testxyz.mp.sa
trunk/maxis/tests/testfiles/testxyz.mp.sa.owfn
trunk/maxis/tests/testfiles/wsfm2008.bits.og
trunk/maxis/tests/testfiles/wsfm2008.l0.m.sa.owfn
trunk/maxis/tests/testfiles/wsfm2008.l1.m.sa.owfn
trunk/maxis/tests/testfiles/wsfm2008.l2.m.sa.owfn
trunk/maxis/tests/testfiles/wsfm2008.mp.sa
trunk/maxis/tests/testfiles/wsfm2008.mp.sa.owfn
trunk/maxis/tests/testfiles/wsfm2008.owfn.sa
Removed:
trunk/maxis/tests/testfiles/myCoffee.l0.m.sa.png
trunk/maxis/tests/testfiles/myCoffee.l1.m.sa.png
trunk/maxis/tests/testfiles/myCoffee.l2.m.sa.png
Modified:
trunk/maxis/src/cmdline.ggo
trunk/maxis/src/dnf.cc
trunk/maxis/src/dnf.h
trunk/maxis/src/formula.cc
trunk/maxis/src/main.cc
trunk/maxis/tests/testfiles/myCoffee.l0.m.sa
trunk/maxis/tests/testfiles/myCoffee.l0.m.sa.owfn
trunk/maxis/tests/testfiles/myCoffee.l1.m.sa
trunk/maxis/tests/testfiles/myCoffee.l1.m.sa.owfn
trunk/maxis/tests/testfiles/myCoffee.l2.m.sa
trunk/maxis/tests/testfiles/myCoffee.l2.m.sa.owfn
trunk/maxis/tests/testfiles/problem_1.l0.m.sa
trunk/maxis/tests/testfiles/problem_1.l1.m.sa
trunk/maxis/tests/testfiles/problem_1.l2.m.sa
trunk/maxis/tests/testfiles/testxy.l0.m.sa
trunk/maxis/tests/testfiles/testxy.l1.m.sa
trunk/maxis/tests/testfiles/testxy.l2.m.sa
trunk/maxis/tests/testfiles/testxy.m.sa.owfn
trunk/maxis/tests/testfiles/testxyz.bits.og
trunk/maxis/tests/testfiles/testxyz.l0.m.sa
trunk/maxis/tests/testfiles/testxyz.l0.m.sa.owfn
trunk/maxis/tests/testfiles/testxyz.l1.m.sa
trunk/maxis/tests/testfiles/testxyz.l1.m.sa.owfn
trunk/maxis/tests/testfiles/testxyz.l2.m.sa
trunk/maxis/tests/testfiles/testxyz.l2.m.sa.owfn
trunk/maxis/tests/testfiles/wsfm2008.l0.m.sa
trunk/maxis/tests/testfiles/wsfm2008.l1.m.sa
trunk/maxis/tests/testfiles/wsfm2008.l2.m.sa
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
