]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f83c21f) | patch
Add an OPTIMIZE Makefile flag to make it easier to enable optimization
authorsmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 31 Oct 2008 23:28:04 +0000 (23:28 +0000)
committersmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 31 Oct 2008 23:28:04 +0000 (23:28 +0000)
commitbc2ded87f3376bd56bdb2f3b5b6d05b2c50cf907
tree97d9e8168f0cd15fb1a1977c9bdb66581c6a9fc6tree | snapshot
parentf83c21fd4eedd9c2fb0ff9138e2960469d1034c9commit | diff
Add an OPTIMIZE Makefile flag to make it easier to enable optimization
or debugging without otherwise breaking the build. Plus some other
cosmetic changes to Makefile comments.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@39 e59a4935-1847-0410-ae03-e826735625c1
Makefile.common diff | blob | history
Makefile.in diff | blob | history
STP Constraint Solver.