Permalink
Browse files

Make all targets the first in some Holmakefiles

  • Loading branch information...
xrchz committed Aug 13, 2018
1 parent fc91db4 commit 196e12bfcb0e1c6b755b655cd575706dfbac0230
Showing with 19 additions and 11 deletions.
  1. +3 −3 Holmakefile
  2. +4 −3 basis/Holmakefile
  3. +7 −0 basis/pure/Holmakefile
  4. +5 −5 compiler/parsing/Holmakefile
View
@@ -1,13 +1,13 @@
INCLUDES = developers compiler/bootstrap/compilation/x64/64/proofs
OPTIONS = QUIT_ON_FAILURE
all: README.md cake-x64-64.tar.gz
.PHONY: all
README_SOURCES = COPYING developers examples build-instructions.sh
DIRS = $(wildcard */)
README.md: developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
developers/readme_gen $(README_SOURCES)
all: README.md cake-x64-64.tar.gz
.PHONY: all
cake-x64-64.tar.gz: compiler/bootstrap/compilation/x64/64/cake-x64-64.tar.gz
$(CP) $< $@
View
@@ -1,17 +1,18 @@
INCLUDES = ../misc pure ../translator ../characteristic ../semantics ../translator/monadic
OPTIONS = QUIT_ON_FAILURE
THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml))
TARGETS0 = $(patsubst %Theory.sml,,$(THYFILES))
TARGETS = $(patsubst %.sml,%.uo,$(TARGETS0))
all: $(TARGETS) basis_ffi.o README.md
.PHONY: all
README_SOURCES = basis.sml basis_ffi.c dependency-order
DIRS = $(wildcard */)
README.md: ../developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
../developers/readme_gen $(README_SOURCES)
all: $(TARGETS) basis_ffi.o README.md
.PHONY: all
ifndef CC
CC=gcc
endif
View
@@ -1,6 +1,13 @@
INCLUDES = ../../misc $(HOLDIR)/examples/formal-languages/regular
OPTIONS = QUIT_ON_FAILURE
THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml))
TARGETS0 = $(patsubst %Theory.sml,,$(THYFILES))
TARGETS = $(patsubst %.sml,%.uo,$(TARGETS0))
all: $(TARGETS) README.md
.PHONY: all
README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml) $(wildcard *Syntax.sml)
README.md: ../../developers/readme_gen readmePrefix $(README_SOURCES)
../../developers/readme_gen $(README_SOURCES)
@@ -2,18 +2,18 @@ SEMANTICS = ../../semantics
INCLUDES = $(HOLDIR)/examples/formal-languages/context-free ../../misc $(SEMANTICS)
OPTIONS = QUIT_ON_FAILURE
README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml)
DIRS = $(wildcard */)
README.md: ../../developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
../../developers/readme_gen $(README_SOURCES)
THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml))
TARGETS0 = $(patsubst %Theory.sml,,$(THYFILES))
TARGETS = $(patsubst %.sml,%.uo,$(TARGETS0))
all: README.md $(TARGETS)
.PHONY: all
README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml)
DIRS = $(wildcard */)
README.md: ../../developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
../../developers/readme_gen $(README_SOURCES)
ifdef POLY
HOLHEAP = heap
PARENTHEAP = $(SEMANTICS)/heap

0 comments on commit 196e12b

Please sign in to comment.