Mercurial > repos > mikel-egana-aranguren > oppl
view OPPL/FaCT++-linux-v1.5.2/Models.lisp/Makefile.default @ 13:7e6604a5ee55
New query tool added
author | Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
---|---|
date | Thu, 29 Mar 2012 14:49:22 +0200 |
parents | 40adbcb2a7cc |
children |
line wrap: on
line source
# 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