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

diff --git a/src/sat/core/Makefile b/src/sat/core/Makefile
index 6e0e96708b044fed073658203f2f46b52d4c16ed..a1aa922fadad8844c2bd0048ea5c3e5dd8ad1fe5 100644 (file)
--- 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 c856d20b5f60b3da46342a1f1a8a1bd4d01ae725..f9c5f4eb5a2a626b7e9b68a79ddc4d64c9dcfb38 100644 (file)
--- 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 70bec67811b8c35acc25034fbd3ca0d6bd637d99..e9865097d38c00fda6788f76fa81350745f9fe31 100644 (file)
--- 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 1ba50ead33aab2d697f411dfd730e708ecbac5ca..6a2466c867cb4911e026e2fd855780b5e5760041 100644 (file)
--- 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 238a0972f88af380e6a9d0a28edde89881345afe..b8439de5de1aee18211848995d9a43ce23976838 100644 (file)
--- 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) ../