--- gforth/vmgen-ex/Makefile	2001/04/29 11:28:23	1.1
+++ gforth/vmgen-ex/Makefile	2002/08/21 08:58:36	1.5
@@ -22,7 +22,8 @@ LEX=flex -l
 YACC=bison
 #YACC=yacc
 VMGEN=vmgen
-GCC=gcc -g -Wall
+#GCC=gcc -g -Wall
+GCC=gcc -O3 -fomit-frame-pointer -Wall
 CC=$(GCC)
 
 mini: mini.tab.o support.o peephole.o profile.o disasm.o engine.o engine-debug.o
@@ -37,6 +38,9 @@ mini.tab.c: mini.y
 mini-vm.i mini-disasm.i mini-gen.i mini-labels.i mini-profile.i mini-peephole.i: mini.vmg
 	$(VMGEN) mini.vmg
 
+mini.vmg: mini-inst.vmg mini-super.vmg
+	m4 -s $< >$@
+
 mini.tab.o: mini.tab.c mini-gen.i lex.yy.c mini.h
 
 support.o: support.c mini.h
@@ -53,4 +57,14 @@ engine-debug.o: engine.c mini-vm.i mini-
 	$(GCC) -DVM_DEBUG -DVM_PROFILING -Dengine=engine_debug -c -o $@ $<
 
 clean:
-	rm -f *.o mini mini-*.i lex.yy.c mini.tab.c
\ No newline at end of file
+	rm -f *.o mini mini-*.i lex.yy.c mini.tab.c mini.vmg xxx-bench
+
+check:  mini
+	./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
+%.prof: %.mini mini
+	./mini -p $< 2>$@