Commit 5e8e8947 authored by Heiko Becker's avatar Heiko Becker

Apply Holmakefile fix as done in CakeML dev

parent e41ecba7
...@@ -7,8 +7,11 @@ EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o ...@@ -7,8 +7,11 @@ EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o
all: $(HOLHEAP) all: $(HOLHEAP)
THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml)) THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml))
TARGETS = $(patsubst %.sml,%.uo,$(THYFILES)) TARGETS0 = $(patsubst %Theory.sml,,$(THYFILES))
TARGETS = $(patsubst %.sml,%.uo,$(TARGETS0))
all: $(TARGETS) $(HOLHEAP) all: $(TARGETS) $(HOLHEAP)
.PHONY: all .PHONY: all
BARE_THYS = BasicProvers Defn HolKernel Parse Tactic monadsyntax \ BARE_THYS = BasicProvers Defn HolKernel Parse Tactic monadsyntax \
......
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