Mercurial > repos > mikel-egana-aranguren > oppl
annotate OPPL/FaCT++-linux-v1.5.2/Models.lisp/Makefile.default @ 8:40adbcb2a7cc
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 |
rev | line source |
---|---|
8
40adbcb2a7cc
Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff
changeset
|
1 # this is automatically generate makefile for KB |
40adbcb2a7cc
Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff
changeset
|
2 |
40adbcb2a7cc
Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff
changeset
|
3 all: sat |
40adbcb2a7cc
Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff
changeset
|
4 |
40adbcb2a7cc
Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff
changeset
|
5 clean: |
40adbcb2a7cc
Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff
changeset
|
6 rm -f dl.res Taxonomy.Roles Taxonomy.log reasoning.log |
40adbcb2a7cc
Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff
changeset
|
7 rm -f dl.res.diff Taxonomy.Roles.diff Taxonomy.log.diff reasoning.log.diff |
40adbcb2a7cc
Added merge function and FaCT++ support. Improved OBO render
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff
changeset
|
8 |