GithubHelp home page GithubHelp logo

homebrew-hets's Introduction

homebrew-hets

This is an attempt to create usuable homebrew formulas for hets (the heterogeneous toolset) for the developers of ontohub who use Mac OS X as their development platform.

I hope this helps...

Instructions

In order to use this tap you'll need to perform some basic command-line tasks:

  • brew tap spechub/hets to make this tap available to your homebrew installation

hets

We currently supply hets in two different versions:

  • hets-binary, which is based on a dmg-Image which is updated with the latest binary if requested. This only supports Mac OS X 10.9 (Mavericks) and up.
  • hets which builds a current version (in which current is based on the needs of the ontohub-team). It also supports building the current HEAD revision of the repository.

Build

  • brew install hets will build and install the current version of hets including a wrapper script, which will run hets with the correct environment variables set.

  • If you want to install the HEAD (the most bleeding-edge) version of hets, just add the --HEAD switch, like this: brew install hets --HEAD.

  • The first time you're installing hets, you will get a message like this:

    ==> Checking out https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/
    Error validating server certificate for 'https://svn-agbkb.informatik.uni-bremen.de:443':
    - The certificate is not issued by a trusted authority. Use the
    fingerprint to validate the certificate manually!
    Certificate information:
    - Hostname: svn-agbkb.informatik.uni-bremen.de
    - Valid: from Thu, 10 Sep 2009 10:50:11 GMT until Tue, 09 Sep 2014 10:50:11 GMT
    - Issuer: Universitaet Bremen, Bremen, Bremen, DE
    - Fingerprint: 6c:44:19:cf:52:29:ed:b0:11:9f:de:dc:01:c8:b4:25:30:25:21:a6
    (R)eject, accept (t)emporarily or accept (p)ermanently? p
    

    You'll need to either accept temporarily or permanently the certificate. I suggest doing so permanently.

The HEAD

If you have installed with the --HEAD option you will not get any messages about updated versions. You need to manually decide to upgrade. When you do so, you'll need to upgrade your hets version like this:

brew reinstall hets --HEAD

Binary

  • brew install hets-binary --with-nightly to install the most recent version of hets

Installing hets will fetch the most recent version of hets known to this formula, but adding the --with-nightly switch will also fetch the most recent nightly build (always) and update your hets-binary with it.

We also have the hets-update script which will allow you to manually update the hets binary to the latest nightly build. It will be installed by either providing the --with-nightly or the --with-updater switch.

Developers

To update the hets formula automatically as soon as there is a new version of Hets, simply invoke update_hets_package.sh. This script updates the formula and pushes the update to this homebrew tap.

homebrew-hets's People

Contributors

eugenk avatar 0robustus1 avatar iggyvolz avatar

Watchers

 avatar Sascha Schlobinski avatar Till Mossakowski avatar  avatar James Cloos avatar  avatar  avatar

Forkers

ralphbln

homebrew-hets's Issues

fix hets-owl-tools

HETS_OWL_TOOLS can't be found:

hets-server extract.dol 
Analyzing file extract.dol as library extract
logic OWL
Analyzing spec <http://www.omg.org/spec/DOL/DOL-terms/O1>
*** Error:
OWL2Parser.jar not found, check your environment variable: HETS_OWL_TOOLS
hets-server-bin: user error (Stopped due to errors)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.