]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 628c466) | patch
Exclude main/main.o from libstp.a.
authorsmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 19 Mar 2010 02:22:03 +0000 (02:22 +0000)
committersmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 19 Mar 2010 02:22:03 +0000 (02:22 +0000)
commit19273c951d91b5aee3f137c31dced9d5b3a67e22
treeb6254843c4959fb63ab8f60ec7745ea626b6d7a1tree | snapshot
parent628c466ef99fcdd94724b731fe54750b02c34961commit | diff
Exclude main/main.o from libstp.a.

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