summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile8
1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8d2b67e..f916930 100644
--- a/Makefile
+++ b/Makefile
@@ -12,9 +12,15 @@
# License for the specific language governing permissions and limitations under
# the License.
-ugtd: ugtd.urp main.urs main.ur
+ugtd: ugtd.urp mdl main.urs main.ur
urweb -ccompiler build_scripts/clang -output $@ ugtd
+.PHONY: mdl
+mdl: mdl/lib.urp mdl/mdl.ur
+mdl/lib.urp mdl/mdl.ur: mdl/classes
+ build_scripts/generate_mdl <$<
+
.PHONY: clean
clean:
+ $(RM) mdl/lib.urp mdl/mdl.ur
$(RM) ugtd