Mercurial > repos > mikel-egana-aranguren > oppl
annotate FaCT++-linux-v1.5.2/Models.lisp/Makefile.default @ 20:46257c870179 draft
New installation procedure added
| author | Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
|---|---|
| date | Mon, 08 Oct 2012 12:55:08 +0200 |
| parents | cc270db37d33 |
| 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 |