1# 2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3# 4# SPDX-License-Identifier: BSD-2-Clause 5# 6 7CAKEML_DIR = @CAKEMLDIR@ 8INCLUDES = $(CAKEML_DIR)/characteristic $(CAKEML_DIR)/basis $(CAKEML_DIR)/misc $(CAKEML_DIR)/translator \ 9 $(CAKEML_DIR)/semantics $(CAKEML_DIR)/unverified/sexpr-bootstrap $(CAKEML_DIR)/compiler/parsing \ 10 @CAKEML_INCLUDES_SPACE_SEP@ 11OPTIONS = QUIT_ON_FAILURE 12 13THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml)) 14TARGETS0 = $(patsubst %Theory.sml,,$(THYFILES)) 15TARGETS = $(patsubst %.sml,%.uo,$(TARGETS0)) 16all: $(TARGETS) 17.PHONY: all 18