search

ontologyportal / sigmakee

Sigma Knowledge Engineering Environment
GNU General Public License v3.0
100 stars 34 forks source link

Build vampire from git #100

Closed kharus closed 1 year ago

kharus commented 1 year ago

Previously vampire in Docker images was built from the release last year. This commit changes docker build files to build vampire from the git. Controlled by ARG VAMPIRE_GIT=c1643839b2a4e90057611837e018ad831c2da9fd

apease commented 1 year ago

cool!