From c8cd23a3e7e794dc7e98ff66bce4a1552fa12d43 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Thu, 4 Feb 2010 12:06:51 +0000 Subject: [PATCH] Apply patch to fix Macos compilation provided by Mieszko Lis. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@588 e59a4935-1847-0410-ae03-e826735625c1 --- src/sat/core/Makefile | 1 + src/sat/cryptominisat/Makefile | 1 + src/sat/cryptominisat2/Makefile | 1 + src/sat/simp/Makefile | 1 + src/sat/unsound/Makefile | 1 + 5 files changed, 5 insertions(+) diff --git a/src/sat/core/Makefile b/src/sat/core/Makefile index 6e0e967..a1aa922 100644 --- a/src/sat/core/Makefile +++ b/src/sat/core/Makefile @@ -14,6 +14,7 @@ lib: $(LIB) $(LIB): $(OBJECTS) rm -f $@ ar cq $@ $(OBJECTS) + ranlib $@ cp $(LIB) ../ cp $(OBJECTS) ../ diff --git a/src/sat/cryptominisat/Makefile b/src/sat/cryptominisat/Makefile index c856d20..f9c5f4e 100644 --- a/src/sat/cryptominisat/Makefile +++ b/src/sat/cryptominisat/Makefile @@ -15,6 +15,7 @@ lib: $(LIB) $(LIB): $(OBJECTS) rm -f $@ ar cq $@ $(OBJECTS) + ranlib $@ cp $(LIB) ../ cp $(OBJECTS) ../ diff --git a/src/sat/cryptominisat2/Makefile b/src/sat/cryptominisat2/Makefile index 70bec67..e986509 100644 --- a/src/sat/cryptominisat2/Makefile +++ b/src/sat/cryptominisat2/Makefile @@ -15,6 +15,7 @@ lib: $(LIB) $(LIB): $(OBJECTS) rm -f $@ ar cq $@ $(OBJECTS) + ranlib $@ cp $(LIB) ../ cp $(OBJECTS) ../ diff --git a/src/sat/simp/Makefile b/src/sat/simp/Makefile index 1ba50ea..6a2466c 100644 --- a/src/sat/simp/Makefile +++ b/src/sat/simp/Makefile @@ -14,6 +14,7 @@ lib: $(LIB) $(LIB): $(OBJECTS) rm -f $@ ar cq $@ $(OBJECTS) + ranlib $@ cp $(LIB) ../ cp $(OBJECTS) ../ diff --git a/src/sat/unsound/Makefile b/src/sat/unsound/Makefile index 238a097..b8439de 100644 --- a/src/sat/unsound/Makefile +++ b/src/sat/unsound/Makefile @@ -14,6 +14,7 @@ lib: $(LIB) $(LIB): $(OBJECTS) rm -f $@ ar cq $@ $(OBJECTS) + ranlib $@ cp $(LIB) ../ cp $(OBJECTS) ../ -- 2.47.3