hol/PKGBUILD

   1 # Either build this package as root or, as root, do
   2 # "ln -s /home/user/packages/hol/src/hol/ /opt/hol"
   3 # before building and "rm /opt/hol" after building.
   4 #
   5 # If you get mysterious build failures, make sure you have
   6 # overcommit enabled or have a lot of free virtual memory.
   7
   8 pkgname=hol
   9 pkgver=kananaskis.5
  10 pkgrel=1
  11 pkgdesc='Interactive proof assistant for higher order logic'
  12 url='http://hol.sourceforge.net/'
  13 arch=('i686' 'x86_64')
  14 license=('BSD')
  15 depends=('polyml')
  16 source=("http://downloads.sourceforge.net/project/hol/hol/${pkgver//./-}/${pkgver//./-}.tar.gz")
  17 md5sums=('83a606e88d03643e8187663068e80203')
  18
  19 build() {
  20     if ! [ "$(readlink /opt/hol)" = "${srcdir}/hol/" ] ; then
  21         # try to create it
  22         if ! ln -s ${srcdir}/hol/ /opt/hol; then
  23             echo "/opt/hol doesn't link to ${srcdir}/hol/";
  24             return 1;
  25         fi;
  26     fi;
  27     cd ${srcdir}/hol/
  28     echo "val holdir = \"/opt/hol\"" > tools-poly/poly-includes.ML
  29     poly < tools/smart-configure.sml || return 1
  30     bin/build || return 1
  31     rm /opt/hol
  32
  33     mkdir -p ${pkgdir}/opt
  34     mv ${srcdir}/hol ${pkgdir}/opt/hol
  35     mkdir -p ${pkgdir}/usr/bin
  36     ln -s /opt/hol/bin/hol ${pkgdir}/usr/bin/hol
  37     ln -s /opt/hol/bin/hol.noquote ${pkgdir}/usr/bin/hol.noquote
  38     ln -s /opt/hol/bin/Holmake ${pkgdir}/usr/bin/Holmake
  39 }