Commit fe3344cd authored by Heiko Becker's avatar Heiko Becker
Browse files

Fix errors related to unused CakeML submodule

parent 9ef2537b
INCLUDES = .. ../cakeml/compiler ../cakeml/compiler/backend ../cakeml/misc
INCLUDES = .. $(CAKEMLDIR)/compiler $(CAKEMLDIR)/compiler/backend $(CAKEMLDIR)/misc
OPTIONS = QUIT_ON_FAILURE
ifdef POLY
......
......@@ -43,10 +43,6 @@ cd ..
cd ./hol4
echo "Downloading CakeML"
git submodule init cakeml
git submodule update -f cakeml
$HOLDIR/bin/Holmake
cd ./binary
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment