Mercurial > repos > mikel-egana-aranguren > oppl

view OPPL/FaCT++-linux-v1.5.2/Models.lisp/DataTypeTest/Makefile @ 8:40adbcb2a7cc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added merge function and FaCT++ support. Improved OBO render
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Tue, 11 Oct 2011 11:09:52 +0200
parents
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

KB_CONF = DataTypeTest.conf
KB = DataTypeTest.tbox

sat classify:
	FaCT++ $(KB_CONF)