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.