From 46183f64b4a2e13ecf9a33e1e21a3c51e4b4564e Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sun, 8 Nov 2009 14:55:30 +0000 Subject: [PATCH] Add extra dependencies required for parallel build. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@391 e59a4935-1847-0410-ae03-e826735625c1 --- src/sat/simp/Makefile | 2 +- src/sat/unsound/Makefile | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/sat/simp/Makefile b/src/sat/simp/Makefile index 8ba1436..d703f13 100644 --- a/src/sat/simp/Makefile +++ b/src/sat/simp/Makefile @@ -10,7 +10,7 @@ CSRCS = $(wildcard *.C) COBJS = $(addsuffix .o, $(basename $(CSRCS))) $(CORE)/Solver.o include ../mtl/template.mk -all: +all: libminisat.a ranlib libminisat.a cp *.or ../ cp libminisat.a ../ diff --git a/src/sat/unsound/Makefile b/src/sat/unsound/Makefile index 5d12328..d329b1d 100644 --- a/src/sat/unsound/Makefile +++ b/src/sat/unsound/Makefile @@ -11,7 +11,7 @@ COBJS = $(addsuffix .o, $(basename $(CSRCS))) $(CORE)/Solver.o include ../mtl/template.mk -all: +all: libminisat.a ranlib libminisat.a cp *.or ../ - cp libminisat.a ../ \ No newline at end of file + cp libminisat.a ../ -- 2.47.3