Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

some stuff for prologcafe/java

  • Loading branch information...
commit 432b309d60c1ac4648aa744b5bba7c6697981e6b 1 parent edb3c57
@cmungall cmungall authored
Showing with 10 additions and 0 deletions.
  1. +10 −0 iso/Makefile
View
10 iso/Makefile
@@ -1,4 +1,14 @@
+PLCOMP = java -cp $(PLCAFEDIR)/plcafe.jar jp.ac.kobe_u.cs.prolog.compiler.Compiler
%.pl: ../%.pl
cd .. && bin/pl-listing $* > iso/$@
+thea_pcafe.pl: compat.pl
+# cat compat.pl owl2_model.pl owl2_io.pl owl2_metamodel.pl > $@
+ cat compat.pl owl2_model.pl > $@
+
+plcomp: thea_pcafe.pl
+ $(PLCOMP) $<
+
+classes:
+ javac -d . -cp $(PLCAFEDIR)/plcafe.jar:$(PLCAFEDIR)/builtin.jar *.java
Please sign in to comment.
Something went wrong with that request. Please try again.