version 1.13, 2007/12/31 19:02:25
|
version 1.14, 2008/10/08 20:54:09
|
Line 59 engine-debug.o: engine.c mini-vm.i mini-
|
Line 59 engine-debug.o: engine.c mini-vm.i mini-
|
$(CC) -DVM_DEBUG -DVM_PROFILING -Dengine=engine_debug -c -o $@ engine.c |
$(CC) -DVM_DEBUG -DVM_PROFILING -Dengine=engine_debug -c -o $@ engine.c |
|
|
clean: |
clean: |
rm -f *.o mini mini-*.i lex.yy.c mini.tab.c mini.vmg xxx-bench |
rm -f *.o mini mini-*.i lex.yy.c mini.tab.c mini.vmg |
|
|
check: mini |
check: mini |
./mini test.mini | tr -d '\015' | diff - test.out |
./mini test.mini | tr -d '\015' | diff - test.out |
|
|
checkall: |
checkall: |
for i in 1 3 5 8 9 10; do make clean; echo $i; make check VMGEN=../vmgen CC="gcc -O3 -fomit-frame-pointer -Wall -DTHREADING_SCHEME=$i"; echo $i >>xxx-bench; time mini fib.mini 2>>xxx-bench; done; cat xxx-bench |
for i in 1 3 5 8 9 10; do make clean; echo $$i; make check VMGEN=../vmgen CC="gcc -O3 -fomit-frame-pointer -Wall -DTHREADING_SCHEME=$$i"; echo $$i >>xxx-bench; \time mini fib.mini 2>>xxx-bench; done; cat xxx-bench; rm xxx-bench |
|
|
#make profiles |
#make profiles |
%.prof: %.mini mini |
%.prof: %.mini mini |