Commit afaf6bd1 authored by bbr's avatar bbr
Browse files

debug standard libraries

parent df01b74d
......@@ -74,7 +74,7 @@ dist:
cp $(THIS)$(DIST)kics_src.tgz ~/public_html/download/
chmod a+r ~/public_html/download/kics_src.tgz
bio: $(BIN)stricths $(BIN)prophecy $(BIN)biotope bioprelude
bio: $(BIN)stricths $(BIN)prophecy $(BIN)biotope biostdlibraries
$(BIN)stricths: $(ORACLE)stricths.curry $(ORACLE)PrettyStrict.curry
$(KICS) -executable -o $(BIN)stricths -userlibpath $(ORACLE) stricths.curry
......@@ -88,6 +88,9 @@ $(BIN)biotope: $(ORACLE)Biotope.curry
bioprelude:
cd $(LIB);stricths Prelude;prophecy Prelude;cd ../..
biostdlibraries: bioprelude
cd $(LIB);stricths All_Libraries;prophecy All_Libraries;cd ../..
$(BIN)prettyflat:
$(KICS) -executable -o $(BIN)prettyflat -main mainPrint PrettyFlat.curry
......
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