blob: a291339491bf6eac1c8f2788eba44c993e43f410 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
diff -Nuar MiniSat_v1.14/Makefile MiniSat_v1.14.new/Makefile
--- MiniSat_v1.14/Makefile 2006-04-02 01:33:46.000000000 -0800
+++ MiniSat_v1.14.new/Makefile 2006-04-02 01:31:39.000000000 -0800
@@ -26,10 +26,11 @@
RANLIB = ranlib
AR = ar
-.PHONY : ls s p d r build clean depend
+.PHONY : lr ls s p d r build clean depend
s: WAY=standard
ls: WAY=standard
+lr: WAY=release
p: WAY=profile
d: WAY=debug
r: WAY=release
@@ -38,8 +39,7 @@
s: CFLAGS+=$(COPTIMIZE) -ggdb -D DEBUG
p: CFLAGS+=$(COPTIMIZE) -pg -ggdb -D DEBUG
d: CFLAGS+=-O0 -ggdb -D DEBUG
-r: CFLAGS+=$(COPTIMIZE) -D NDEBUG
-rs: CFLAGS+=$(COPTIMIZE) -D NDEBUG
+r rs ls lr: CFLAGS+=$(COPTIMIZE) -D NDEBUG
s: build $(EXEC)
p: build $(EXEC)_profile
@@ -48,7 +48,7 @@
rs: build $(EXEC)_static
s: CFLAGS+=$(COPTIMIZE) -ggdb -D DEBUG
-ls: lbuild $(LIB)_s
+ls lr: lbuild $(LIB)_s
build:
@echo Building $(EXEC) "("$(WAY)")"
@@ -63,7 +63,7 @@
## Build rule
%.o %.op %.od %.or: %.C
@echo Compiling: $<
- @$(CXX) $(CFLAGS) -c -o $@ $<
+ $(CXX) $(CFLAGS) -c -o $@ $<
## Linking rules (standard/profile/debug/release)
$(EXEC): $(COBJS)
|
