/usr/share/hol88-2.02.19940316/contrib/Tarski/Makefile is in hol88-contrib-source 2.02.19940316-35.
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 39 40 41 | # =====================================================================
#
# MAKEFILE FOR Tarski
#
# =====================================================================
# =====================================================================
#
# MAIN ENTRIES:
#
# make all : Tarski theory
#
# make clean : remove theories and compiled code
#
#
# For the moment no compilation files have been made
#
# =====================================================================
# =====================================================================
# MACROS:
#
# Hol : the name of the version of hol used (currently 2.0)
# =====================================================================
Hol=hol
dummy:
@echo "*** Tarski: make parameter missing ***"
tarski.th: mk_tarski.ml
echo 'set_flag(`abort_when_fail`,true);;'\
'loadf `mk_tarski`;;'\
'quit();;' | ${Hol}
clean:
rm -f *_ml.o *_ml.l *.th
@echo "*** Tarski: all object code and theories deleted***"
all: tarski.th
@echo "===> Tarski rebuilt"
|