Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

executable file 11 lines (10 sloc) 0.199 kb
#!/bin/sh -ex
PREFIX=$1
if [ "$PREFIX" = "" ]; then echo Need prefix as first arg; exit 1; fi
cd src_ext
make distclean
cd ..
./configure --prefix=$HOME/opam-bin/$PREFIX
make
make install
make tests
Jump to Line
Something went wrong with that request. Please try again.