|
|
|
@ -1,18 +1,18 @@ |
|
|
|
|
# - coqide compilation can be disabled by setting lablgtk to null; |
|
|
|
|
|
|
|
|
|
{stdenv, fetchurl, pkgconfig, ocaml, camlp5}: |
|
|
|
|
{ stdenv, fetchFromGitHub, pkgconfig, ocaml }: |
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec { |
|
|
|
|
name = "ott-${version}"; |
|
|
|
|
version = "0.25"; |
|
|
|
|
version = "0.27"; |
|
|
|
|
|
|
|
|
|
src = fetchurl { |
|
|
|
|
url = "http://www.cl.cam.ac.uk/~pes20/ott/ott_distro_${version}.tar.gz"; |
|
|
|
|
sha256 = "0i8ad1yrz9nrrgpi8db4z0aii5s0sy35mmzdfw5nq183mvbx8qqd"; |
|
|
|
|
src = fetchFromGitHub { |
|
|
|
|
owner = "ott-lang"; |
|
|
|
|
repo = "ott"; |
|
|
|
|
rev = version; |
|
|
|
|
sha256 = "12hzpyinswqaxwp6y793h7ywrv6289cw4911ah2yzq04ji095pfb"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
nativeBuildInputs = [ pkgconfig ]; |
|
|
|
|
buildInputs = [ ocaml camlp5 ]; |
|
|
|
|
buildInputs = [ ocaml ]; |
|
|
|
|
|
|
|
|
|
installPhase = '' |
|
|
|
|
mkdir -p $out/bin |
|
|
|
@ -20,7 +20,7 @@ stdenv.mkDerivation rec { |
|
|
|
|
ln -s $out/bin/ott.opt $out/bin/ott |
|
|
|
|
|
|
|
|
|
mkdir -p $out/share/emacs/site-lisp |
|
|
|
|
cp emacs/ottmode.el $out/share/emacs/site-lisp |
|
|
|
|
cp emacs/ott-mode.el $out/share/emacs/site-lisp |
|
|
|
|
''; |
|
|
|
|
|
|
|
|
|
meta = { |
|
|
|
|