diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-10 07:49:17 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-10 11:49:05 +0000 |
commit | 1ccd3b97555bde70118a0f0ff6bf1faa0a34d33b (patch) | |
tree | 91e45188708cd9927502a4042438a0708a4edb1d /pkgs/applications/science/logic | |
parent | d98d944d5d6e378ff40abf92b77ed3b4050fa058 (diff) | |
download | nixlib-1ccd3b97555bde70118a0f0ff6bf1faa0a34d33b.tar nixlib-1ccd3b97555bde70118a0f0ff6bf1faa0a34d33b.tar.gz nixlib-1ccd3b97555bde70118a0f0ff6bf1faa0a34d33b.tar.bz2 nixlib-1ccd3b97555bde70118a0f0ff6bf1faa0a34d33b.tar.lz nixlib-1ccd3b97555bde70118a0f0ff6bf1faa0a34d33b.tar.xz nixlib-1ccd3b97555bde70118a0f0ff6bf1faa0a34d33b.tar.zst nixlib-1ccd3b97555bde70118a0f0ff6bf1faa0a34d33b.zip |
ott: 0.25 -> 0.27
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/ott/default.nix | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/pkgs/applications/science/logic/ott/default.nix b/pkgs/applications/science/logic/ott/default.nix index b10ec814ff55..6fcc8f9c111f 100644 --- a/pkgs/applications/science/logic/ott/default.nix +++ b/pkgs/applications/science/logic/ott/default.nix @@ -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 = { |