fstar-git PKGBUILD

#Maintainer: ngrimm
pkgname=fstar-git
pkgver=20151008
pkgrel=1
pkgdesc="F*: An ML-like language with a type system for program verification"
arch=('i686' 'x86_64')
url="www.fstar-lang.org"
license=('Apache')
depends=( 'z3-git')
makedepends=('git' 'mono' 'fsharp' 'ocaml' 'unzip' 'opam')
provides=(fstar)

_gitroot=https://github.com/FStarLang/FStar.git
_gitname=fstar

build() {
  cd "$srcdir"
  msg "Connecting to GIT server...."

  if [[ -d "$_gitname" ]]; then
    cd "$_gitname" && git pull origin
    msg "The local files are updated."
  else
    git clone "$_gitroot" "$_gitname"
  fi

  msg "GIT checkout done or server timeout"
  msg "Starting build..."

  rm -rf "$srcdir/$_gitname-build"
  git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
  cd "$srcdir/$_gitname-build"

  mozroots --import --sync
  ulimit -s unlimited
  make -C src/

  opam init -n
  eval $(opam config env)
  opam install ocamlfind batteries

  make -C src ocaml
  make -C src/ocaml-output
}

package() {
  mkdir -p  $pkgdir/usr/share/$_gitname
  mkdir -p $pkgdir/usr/bin
  cd "$srcdir/$_gitname-build"
  cp -rv bin lib examples $pkgdir/usr/share/$_gitname
  ln -s /usr/share/$_gitname/bin/fstar.exe $pkgdir/usr/bin/
}