/usr/share/hol88-2.02.19940316/contrib/knuth-bendix/Makefile is in hol88-contrib-source 2.02.19940316-19.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 | Hol=/usr/groups/hol/HOL12/bin/hol
lib_ml.o: lib.ml
echo 'set_flag(`abort_when_fail`,true);;'\
'compilet `lib`;;'\
'quit();;' | $(Hol)
rewrite_ml.o: rewrite.ml lib_ml.o
echo 'set_flag(`abort_when_fail`,true);;'\
'loadf `lib`;;'\
'compilet `rewrite`;;'\
'quit();;' | $(Hol)
kb_ml.o: kb.ml rewrite_ml.o lib_ml.o
echo 'set_flag(`abort_when_fail`,true);;'\
'loadf `lib`;;'\
'loadf `rewrite`;;'\
'compilet `kb`;;'\
'quit();;' | $(Hol)
order_ml.o: order.ml kb_ml.o rewrite_ml.o lib_ml.o
echo 'set_flag(`abort_when_fail`,true);;'\
'loadf `lib`;;'\
'loadf `rewrite`;;'\
'loadf `kb`;;'\
'compilet `order`;;'\
'quit();;' | $(Hol)
all: lib_ml.o rewrite_ml.o kb_ml.o order_ml.o
@echo "===> Knuth-Bendix contrib rebuilt"
clean:
/bin/rm -f *.o *.th
@echo "===> Knuth-Bendix contrib cleaned up"
clobber:
/bin/rm -f *.o *.th
@echo "===> Knuth-Bendix contrib clobbered"
|