From 98fdeb2d99b58d8df510f337f9dc1e21b549c639 Mon Sep 17 00:00:00 2001 From: Teddy Date: Tue, 13 Aug 2013 15:28:56 +0800 Subject: fixed bug in PromObj --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 37142aa..4e173d8 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ sonsi: main.o parser.o builtin.o model.o eval.o exc.o consts.o types.o gc.o g++ -o sonsi $^ -pg -lgmp .cpp.o: - g++ $< -c -O2 -DGMP_SUPPORT -Wall + g++ $< -c -g -DGMP_SUPPORT -Wall -O2 clean: rm -f *.o -- cgit v1.2.3-70-g09d2