Author: niels
Date: Thu Jan 22 16:47:41 2009
New Revision: 3734
URL: http://svn.gna.org/viewcvs/service-tech?rev=3734&view=rev
Log:
* added a directory `src/configs' containing some example configurations for
LoLA; for each file `userconfig.H.xxx' exists a Makefile target `lola-xxx'
which compiles LoLA with that configuration - note that the file
`src/userconfig.H' will be overwritten
Added:
trunk/lola/src/configs/
trunk/lola/src/configs/userconfig.H.deadlock
trunk/lola/src/configs/userconfig.H.modelchecking
Modified:
trunk/lola/ChangeLog
trunk/lola/NEWS
trunk/lola/doc/ChangeLog.texi
trunk/lola/src/Makefile.am
--
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.
