Mercurial > repos > mikel-egana-aranguren > oppl

diff FaCT++-linux-v1.5.2/Models.lisp/Makefile.default @ 19:cc270db37d33 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Directories re-arranged
author Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sat, 06 Oct 2012 21:50:39 +0200
parents OPPL/FaCT++-linux-v1.5.2/Models.lisp/Makefile.default@40adbcb2a7cc
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/FaCT++-linux-v1.5.2/Models.lisp/Makefile.default	Sat Oct 06 21:50:39 2012 +0200
@@ -0,0 +1,8 @@
+# this is automatically generate makefile for KB
+
+all: sat
+
+clean:
+	rm -f dl.res Taxonomy.Roles Taxonomy.log reasoning.log
+	rm -f dl.res.diff Taxonomy.Roles.diff Taxonomy.log.diff reasoning.log.diff
+