Renaming of cryptominisat-files, and creating a proper Makefile for

crytominisat

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@425 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/sat/cryptominisat/Logger.C b/src/sat/cryptominisat/Logger.cpp
similarity index 100%
rename from src/sat/cryptominisat/Logger.C
rename to src/sat/cryptominisat/Logger.cpp

diff --git a/src/sat/cryptominisat/Makefile b/src/sat/cryptominisat/Makefile
index ffbda1dac205f49b97bffbeefd7ce2ecb0e56ffc..65ecbd771ca3291f330de8e5ee1ae482ac3bab6d 100644 (file)
--- a/src/sat/cryptominisat/Makefile
+++ b/src/sat/cryptominisat/Makefile
@@ -1,12 +1,20 @@
 include   ../../../scripts/Makefile.common
+
 MTL       = mtl
-CHDRS     = $(wildcard *.h) $(wildcard $(MTL)/*.h)
+SOURCES   = Solver.cpp  clause.cpp fcopy.cpp Logger.cpp
+OBJECTS   = $(SOURCES:.cpp=.o)
+LIB       = libminisat.a
+CFLAGS    += -I$(MTL) -DEXT_HASH_MAP -ffloat-store $(CFLAGS_M32) -c
 EXEC      = minisat
-CFLAGS    += -I$(MTL) -DEXT_HASH_MAP -ffloat-store $(CFLAGS_M32)
 LFLAGS    = -lz
 
-include mtl/template.mk
-all: libminisat.a
-       ranlib libminisat.a
-       cp *.o ../
-       cp libminisat.a ../
+all: $(LIB) #$(EXEC)
+lib: $(LIB)
+
+$(LIB): $(OBJECTS)
+       rm -f $@
+       ar cq $@ $(OBJECTS)
+       cp $(LIB) ../
+
+.cpp.o:
+       $(CC) $(CFLAGS) $< -o $@

diff --git a/src/sat/cryptominisat/Solver.C b/src/sat/cryptominisat/Solver.cpp
similarity index 100%
rename from src/sat/cryptominisat/Solver.C
rename to src/sat/cryptominisat/Solver.cpp

diff --git a/src/sat/cryptominisat/mtl/template.mk b/src/sat/cryptominisat/mtl/template.mk
deleted file mode 100644 (file)
index 565498f..0000000
--- a/src/sat/cryptominisat/mtl/template.mk
+++ /dev/null
@@ -1,94 +0,0 @@
-##
-##  Template makefile for Standard, Profile, Debug, Release, and
-##  Release-static versions
-##
-##    eg: "make rs" for a statically linked release version.  "make d"
-##        for a debug version (no optimizations).  "make" for the
-##        standard version (optimized, but with debug information and
-##        assertions active)
-
-CSRCS     ?= $(wildcard *.C *.cpp)
-CHDRS     ?= $(wildcard *.h)
-COBJS     ?= $(addsuffix .o, $(basename $(CSRCS))) 
-
-PCOBJS     = $(addsuffix p,  $(COBJS))
-DCOBJS     = $(addsuffix d,  $(COBJS))
-RCOBJS     = $(addsuffix r,  $(COBJS))
-
-EXEC      ?= $(notdir $(shell pwd))
-LIB       ?= $(EXEC)
-
-CXX       ?= g++
-CFLAGS    ?= -Wall
-LFLAGS    ?= -Wall
-
-COPTIMIZE ?= -O3
-
-.PHONY : s p d r rs lib libd clean 
-
-s:     $(EXEC)
-p:     $(EXEC)_profile
-d:     $(EXEC)_debug
-r:     $(EXEC)_release
-rs:    $(EXEC)_static
-lib:   lib$(LIB).a
-libd:  lib$(LIB)d.a
-libp:  lib$(LIB)p.a
-
-## Compile options
-%.op:                  CFLAGS +=$(COPTIMIZE) -pg -ggdb -D NDEBUG -DEXT_HASH_MAP
-%.od:                  CFLAGS +=-O0 -ggdb -D DEBUG # -D INVARIANTS
-%.o:                   CFLAGS +=$(COPTIMIZE) -D NDEBUG
-
-## Link options
-$(EXEC):               LFLAGS := -ggdb $(LFLAGS)
-$(EXEC)_profile:       LFLAGS := -ggdb -pg $(LFLAGS)
-$(EXEC)_debug:         LFLAGS := -ggdb $(LFLAGS)
-$(EXEC)_release:       LFLAGS := $(LFLAGS)
-$(EXEC)_static:                LFLAGS := --static $(LFLAGS)
-
-## Dependencies
-$(EXEC):               $(COBJS)
-$(EXEC)_profile:       $(PCOBJS)
-$(EXEC)_debug:         $(DCOBJS)
-$(EXEC)_release:       $(RCOBJS)
-$(EXEC)_static:                $(RCOBJS)
-
-lib$(LIB).a:   $(filter-out Main.or, $(COBJS))
-lib$(LIB)d.a:  $(filter-out Main.od, $(DCOBJS))
-lib$(LIB)p.a:  $(filter-out Main.op, $(PCOBJS))
-
-
-## Build rule
-%.o %.op %.od: %.C %.cpp
-       @echo Compiling: "$@ ( $< )"
-       $(CXX) $(CFLAGS) -c -o $@ $<
-
-## Linking rules (standard/profile/debug/release)
-$(EXEC) $(EXEC)_profile $(EXEC)_debug $(EXEC)_release $(EXEC)_static:
-       @echo Linking: "$@ ( $^ )"
-       @$(CXX) $^ $(LFLAGS) -o $@
-
-## Library rule
-lib$(LIB).a lib$(LIB)d.a lib$(LIB)p.a:
-       @echo Library: "$@ ( $^ )"
-       @rm -f $@
-       @ar cq $@ $^    
-
-## Clean rule
-clean:
-       @rm -f *~ $(EXEC) $(EXEC)_profile $(EXEC)_debug $(EXEC)_release $(EXEC)_static \
-       $(COBJS) $(PCOBJS) $(DCOBJS) $(RCOBJS) *.core depend.mk depend.mak lib$(LIB).a \
-       lib$(LIB)d.a lib$(LIB)p.a
-
-## Make dependencies
-depend.mk: $(CSRCS) $(CHDRS)
-       @echo Making dependencies ...
-       @$(CXX) $(CFLAGS) -MM $(CSRCS) > depend.mk
-       @cp depend.mk /tmp/depend.mk.tmp
-       @sed "s/o:/op:/" /tmp/depend.mk.tmp >> depend.mk
-       @sed "s/o:/od:/" /tmp/depend.mk.tmp >> depend.mk
-       @sed "s/o:/or:/" /tmp/depend.mk.tmp >> depend.mk
-       @rm /tmp/depend.mk.tmp
-
--include depend.mk