| # |
| # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) |
| # |
| # SPDX-License-Identifier: BSD-2-Clause |
| # |
| |
| CAKEML_DIR = @CAKEMLDIR@ |
| INCLUDES = $(CAKEML_DIR)/characteristic $(CAKEML_DIR)/basis $(CAKEML_DIR)/misc $(CAKEML_DIR)/translator \ |
| $(CAKEML_DIR)/semantics $(CAKEML_DIR)/unverified/sexpr-bootstrap $(CAKEML_DIR)/compiler/parsing \ |
| @CAKEML_INCLUDES_SPACE_SEP@ |
| OPTIONS = QUIT_ON_FAILURE |
| |
| THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml)) |
| TARGETS0 = $(patsubst %Theory.sml,,$(THYFILES)) |
| TARGETS = $(patsubst %.sml,%.uo,$(TARGETS0)) |
| all: $(TARGETS) |
| .PHONY: all |
