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