diff options
author | Teddy <[email protected]> | 2013-08-12 19:37:57 +0800 |
---|---|---|
committer | Teddy <[email protected]> | 2013-08-12 19:37:57 +0800 |
commit | 4d3ed205fc2b86180f81fea388e488f5fa96cef9 (patch) | |
tree | 31f8ad22e11da45a439d5aad873ba08a1896be81 /Makefile | |
parent | 301c949362d243bb6b69956355e0e7ecccc43ce4 (diff) |
basic gc
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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 -g -pg -DGMP_SUPPORT -Wall -DGC_DEBUG clean: rm -f *.o @@ -13,3 +13,6 @@ db: cdb: cgdb sonsi + +run: + ./sonsi |