Commit b6f2a073 authored by Magnus Myreen's avatar Magnus Myreen

Improve Holmakefile in hol4/binary

parent d194c84d
......@@ -4,7 +4,15 @@ OPTIONS = QUIT_ON_FAILURE
ifdef POLY
HOLHEAP = heap
EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o
all: $(HOLHEAP)
all: $(HOLHEAP) cake_checker
ifndef CC
CC=gcc
endif
cake_checker: checker.S ../cakeml/basis/basis_ffi.o
$(CC) $< ../cakeml/basis/basis_ffi.o $(GCCFLAGS) -o $@
checker.S: checkerBinaryTheory.uo
THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml))
TARGETS = $(patsubst %.sml,%.uo,$(THYFILES))
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment