/usr/share/hol88-2.02.19940316/contrib/pred/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 39 40 41 42 43 44 | # =====================================================================
#
# MAKEFILE FOR: pred
#
# =====================================================================
Hol=hol
# =====================================================================
# Default entry.
# =====================================================================
default:
@echo 'MAKEFILE FOR: pred'
# =====================================================================
# Cleaning functions.
# =====================================================================
clean:
rm -f *_ml.o
@echo "===> library pred: all object code deleted"
clobber:
rm -f *_ml.o *_ml.l *.th
@echo "===> library pred: all object code and theory files deleted"
# =====================================================================
# Entries for individual files.
# =====================================================================
pred.th: mk_pred.ml
rm -f pred.th
echo 'set_flag (`abort_when_fail`, true) ;;'\
'loadt `mk_pred` ;;'\
'if (draft_mode ()) then (close_theory ()) ;;'\
'quit () ;;' | ${Hol}
# =====================================================================
# Main entry
# =====================================================================
all: pred.th
@echo "===> library pred rebuilt"
|