/usr/share/hol88-2.02.19940316/contrib/convert/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 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 | # =====================================================================
#
# MAKEFILE FOR THE HOL LIBRARY: convert
#
# =====================================================================
# =====================================================================
# MAIN ENTRIES:
#
# make all : create theories and compile code
#
# make clean : remove only compiled code
#
# make clobber : remove both theories and compiled code
#
# ---------------------------------------------------------------------
# MACROS:
#
# Hol : the pathname of the version of hol used
#
# OBJECTS : the things to make
# =====================================================================
Hol=../../hol
OBJECTS = unwind_ml.o unfold_ml.o prune_ml.o conv_package_ml.o more_conv_ml.o
# =====================================================================
# Cleaning functions.
# =====================================================================
clean:
rm -f $(OBJECTS)
@echo "===> library convert: all object code deleted"
clobber:
rm -f $(OBJECTS)
@echo "===> library convert: all object code deleted"
# =====================================================================
# Entries for individual files.
# =====================================================================
unwind_ml.o: unwind.ml
echo 'set_flag(`abort_when_fail`,true);;'\
'compilet `unwind`;;'\
'quit();;' | ${Hol}
more_conv_ml.o: more_conv.ml
echo 'set_flag(`abort_when_fail`,true);;'\
'compilet `more_conv`;;'\
'quit();;' | ${Hol}
unfold_ml.o: unfold.ml
echo 'set_flag(`abort_when_fail`,true);;'\
'compilet `unfold`;;'\
'quit();;' | ${Hol}
prune_ml.o: prune.ml
echo 'set_flag(`abort_when_fail`,true);;'\
'compilet `prune`;;'\
'quit();;' | ${Hol}
conv_package_ml.o: conv_package.ml
echo 'set_flag(`abort_when_fail`,true);;'\
'compilet `conv_package`;;'\
'quit();;' | ${Hol}
# =====================================================================
# Main entry.
# =====================================================================
all: $(OBJECTS)
@echo "===> library convert rebuilt"
|