aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile10
1 files changed, 5 insertions, 5 deletions
diff --git a/Makefile b/Makefile
index 45795d8..aeab6a0 100644
--- a/Makefile
+++ b/Makefile
@@ -1,15 +1,15 @@
-main: main.o parser.o builtin.o model.o eval.o exc.o consts.o types.o
- g++ -o main $^ -pg -lgmp
+sonsi: main.o parser.o builtin.o model.o eval.o exc.o consts.o types.o
+ g++ -o sonsi $^ -pg -lgmp
.cpp.o:
g++ $< -c -g -pg -DGMP_SUPPORT -Wall -O2
clean:
rm -f *.o
- rm -f main
+ rm -f sonsi
db:
- gdb main
+ gdb sonsi
cdb:
- cgdb main
+ cgdb sonsi