1# Makefile for boolification test cases 2# Created by Joe Hurd, January 2002 3 4HOL=hol.bare.unquote -I ../src 5 6TMPFILE1=/tmp/test-make-file1 7TMPFILE2=/tmp/test-make-file2 8 9all: result diff 10 11clean: 12 rm -f result 13 14diff: 15 @grep -v 'HOL.* (built \|^\(- \)*runtime: \|User: ' <result.ok >$(TMPFILE1) 16 @grep -v 'HOL.* (built \|^\(- \)*runtime: \|User: ' <result >$(TMPFILE2) 17 @diff $(TMPFILE1) $(TMPFILE2) 18 19result: test.sml ../src/Encode.uo 20 rm -f result 21 $(HOL) <test.sml 2>&1 | tee result 22