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

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
comparison
equal deleted inserted replaced
18:d3616fac4ca5 19:cc270db37d33
1 # this is automatically generate makefile for KB
2
3 all: sat
4
5 clean:
6 rm -f dl.res Taxonomy.Roles Taxonomy.log reasoning.log
7 rm -f dl.res.diff Taxonomy.Roles.diff Taxonomy.log.diff reasoning.log.diff
8