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