aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTeddy <[email protected]>2013-08-13 14:49:18 +0800
committerTeddy <[email protected]>2013-08-13 14:49:18 +0800
commitb215daca250b567d2b1a253c5019d94edf21d1cf (patch)
tree11e9956fcf2a11dee04f4a1d6a7e86589e09e5cf /Makefile
parentba5fb7e4112bec20244586ac12285cfb25f2423f (diff)
parent2c48014df55c0e7b7b12ebff9bef8fe567a6d4d2 (diff)
Merge branch 'gc'
Conflicts: types.cpp
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index aeab6a0..37142aa 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,8 @@
-sonsi: main.o parser.o builtin.o model.o eval.o exc.o consts.o types.o
+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 -g -pg -DGMP_SUPPORT -Wall -O2
+ g++ $< -c -O2 -DGMP_SUPPORT -Wall
clean:
rm -f *.o
@@ -13,3 +13,6 @@ db:
cdb:
cgdb sonsi
+
+run:
+ ./sonsi