diff options
author | Teddy <[email protected]> | 2013-08-12 14:43:36 +0800 |
---|---|---|
committer | Teddy <[email protected]> | 2013-08-12 14:43:36 +0800 |
commit | 4e933956abb5045efaad4b68decce1ca4bd43700 (patch) | |
tree | b17df7f5aa899574b1c900007892350a6d09187b /Makefile | |
parent | 76b23bc8837adad50be12aa759dcfce5bd4b2787 (diff) |
change the name of compiled executable file
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -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 |