s14h/prism-accumulation - prism-accumulation - VoidGit

Author	SHA1	Message	Date
Chris Novakovic	fc4aaebc22	cudd: don't declare makefile variables defined in top-level makefile In cudd/Makefile, don't declare the following variables, as this prevents them from being inherited from the environment created by the top-level make process: CC CXX CXXFLAGS LDFLAGS EXE	7 years ago
Joachim Klein	9bc5baac09	cudd Makefile: recursive calls of make via $(MAKE) Recursive calls to make should use the special $(MAKE) variable instead of a direct 'make' call: https://www.gnu.org/software/make/manual/html_node/MAKE-Variable.html#MAKE-Variable This allows make to communicate with the sub-makes (e.g., for coordinating parallel makes).	8 years ago
Dave Parker	a72a2d6e4b	Upgrade CUDD to version 5.0. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6964 bbc10eb1-c90d-0410-af57-cb519fbb1720	13 years ago
Dave Parker	c51c96bd57	Makefile tweak: Debug symbols off by default. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1750 bbc10eb1-c90d-0410-af57-cb519fbb1720	16 years ago
Dave Parker	e68ea3678f	Missing files from last commit. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1737 bbc10eb1-c90d-0410-af57-cb519fbb1720	16 years ago
Dave Parker	9b2f75f034	Updated CUDD from version 2.4.0 to 2.4.2; also removed extra Makefiles. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1735 bbc10eb1-c90d-0410-af57-cb519fbb1720	16 years ago
Dave Parker	5041398fae	Tidy up of CUDD makefiles (and addition of 64-bit Linux makefile). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@222 bbc10eb1-c90d-0410-af57-cb519fbb1720	19 years ago
Dave Parker	d4078e6a15	Population of CUDD in main trunk. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9 bbc10eb1-c90d-0410-af57-cb519fbb1720	20 years ago