version 1.4, 2001/05/01 10:20:55
|
version 1.5, 2002/08/21 08:58:36
|
Line 57 engine-debug.o: engine.c mini-vm.i mini-
|
Line 57 engine-debug.o: engine.c mini-vm.i mini-
|
$(GCC) -DVM_DEBUG -DVM_PROFILING -Dengine=engine_debug -c -o $@ $< |
$(GCC) -DVM_DEBUG -DVM_PROFILING -Dengine=engine_debug -c -o $@ $< |
|
|
clean: |
clean: |
rm -f *.o mini mini-*.i lex.yy.c mini.tab.c mini.vmg |
rm -f *.o mini mini-*.i lex.yy.c mini.tab.c mini.vmg xxx-bench |
|
|
check: mini |
check: mini |
./mini test.mini|diff - test.out |
./mini test.mini|diff - test.out |
|
|
|
checkall: |
|
for i in 1 3 5 8 9 10; do make clean; echo $i; make check VMGEN=../vmgen GCC="gcc -O3 -fomit-frame-pointer -Wall -DTHREADING_SCHEME=$i"; echo $i >>xxx-bench; time mini fib.mini 2>>xxx-bench; done; cat xxx-bench |
|
|
#make profiles |
#make profiles |
%.prof: %.mini mini |
%.prof: %.mini mini |
./mini -p $< 2>$@ |
./mini -p $< 2>$@ |