Commit 87a65387 authored by Heiko Becker's avatar Heiko Becker
Browse files

Uncomment cake_checker target

parent 2c62cf04
INCLUDES = .. ./cakeml/compiler ./cakeml/compiler/backend ./cakeml/misc INCLUDES = .. ./cakeml/compiler ./cakeml/compiler/backend ./cakeml/misc
OPTIONS = QUIT_ON_FAILURE OPTIONS = QUIT_ON_FAILURE
#ifdef POLY ifdef POLY
#HOLHEAP = heap HOLHEAP = heap
#EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o
#all: $(HOLHEAP) cake_checker all: $(HOLHEAP) cake_checker
#ifndef CC ifndef CC
#CC=gcc CC=gcc
#endif endif
#cake_checker: checker.S ../cakeml/basis/basis_ffi.o
# $(CC) $< ../cakeml/basis/basis_ffi.o $(GCCFLAGS) -o $@ cake_checker: checker.S ../cakeml/basis/basis_ffi.o
# $(CC) $< ../cakeml/basis/basis_ffi.o $(GCCFLAGS) -o $@
#checker.S: checkerBinaryTheory.uo
# checker.S: checkerBinaryTheory.uo
#THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml))
#TARGETS = $(patsubst %.sml,%.uo,$(THYFILES)) THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml))
#all: $(TARGETS) $(HOLHEAP) TARGETS = $(patsubst %.sml,%.uo,$(THYFILES))
#.PHONY: all all: $(TARGETS) $(HOLHEAP)
# .PHONY: all
#BARE_THYS = ../transTheory \
# ../cakeml/compiler/compilationLib BARE_THYS = ../transTheory \
# ../cakeml/compiler/compilationLib
#DEPS = $(patsubst %,%.uo,$(BARE_THYS1)) $(PARENTHEAP)
# DEPS = $(patsubst %,%.uo,$(BARE_THYS1)) $(PARENTHEAP)
#$(HOLHEAP): $(DEPS)
# $(protect $(HOLDIR)/bin/buildheap) -o $(HOLHEAP) $(BARE_THYS) $(HOLHEAP): $(DEPS)
#endif $(protect $(HOLDIR)/bin/buildheap) -o $(HOLHEAP) $(BARE_THYS)
endif
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