Commit cfab86f5 authored by Heiko Becker's avatar Heiko Becker
Browse files

Fix wrong directory specification for CakeML libs in Holmakefile

parent 4b1e1386
...@@ -4,14 +4,14 @@ OPTIONS = QUIT_ON_FAILURE ...@@ -4,14 +4,14 @@ 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) checker.S cake_checker
ifndef CC ifndef CC
CC=gcc CC=gcc
endif endif
cake_checker: checker.S ../cakeml/basis/basis_ffi.o cake_checker: checker.S ./cakeml/basis/basis_ffi.o
$(CC) $< ../cakeml/basis/basis_ffi.o $(GCCFLAGS) -o $@ $(CC) $< ./cakeml/basis/basis_ffi.o $(GCCFLAGS) -o $@
checker.S: checkerBinaryTheory.uo checker.S: checkerBinaryTheory.uo
...@@ -20,8 +20,8 @@ TARGETS = $(patsubst %.sml,%.uo,$(THYFILES)) ...@@ -20,8 +20,8 @@ TARGETS = $(patsubst %.sml,%.uo,$(THYFILES))
all: $(TARGETS) $(HOLHEAP) all: $(TARGETS) $(HOLHEAP)
.PHONY: all .PHONY: all
BARE_THYS = ../transTheory \ BARE_THYS = ./transTheory \
../cakeml/compiler/compilationLib ./cakeml/compiler/compilationLib
DEPS = $(patsubst %,%.uo,$(BARE_THYS1)) $(PARENTHEAP) DEPS = $(patsubst %,%.uo,$(BARE_THYS1)) $(PARENTHEAP)
......
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