diff options
Diffstat (limited to 'pkgs/applications/science/logic/hol_light/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/hol_light/default.nix | 35 |
1 files changed, 19 insertions, 16 deletions
diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix index 24faa98f777ba..e66fe992e189a 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -3,11 +3,11 @@ let load_num = if num == null then "" else - '' - -I ${num}/lib/ocaml/${ocaml.version}/site-lib/num \ - -I ${num}/lib/ocaml/${ocaml.version}/site-lib/top-num \ - -I ${num}/lib/ocaml/${ocaml.version}/site-lib/stublibs \ - ''; + '' + -I ${num}/lib/ocaml/${ocaml.version}/site-lib/num \ + -I ${num}/lib/ocaml/${ocaml.version}/site-lib/top-num \ + -I ${num}/lib/ocaml/${ocaml.version}/site-lib/stublibs \ + ''; start_script = '' @@ -21,19 +21,22 @@ let in stdenv.mkDerivation { - name = "hol_light-2019-10-06"; + pname = "hol_light"; + version = "unstable-2019-10-06"; src = fetchFromGitHub { - owner = "jrh13"; - repo = "hol-light"; - rev = "5c91b2ded8a66db571824ecfc18b4536c103b23e"; + owner = "jrh13"; + repo = "hol-light"; + rev = "5c91b2ded8a66db571824ecfc18b4536c103b23e"; sha256 = "0sxsk8z08ba0q5aixdyczcx5l29lb51ba4ip3d2fry7y604kjsx6"; }; - patches = [(fetchpatch { - url = "https://salsa.debian.org/ocaml-team/hol-light/-/raw/master/debian/patches/0004-Fix-compilation-with-camlp5-7.11.patch"; - sha256 = "180qmxbrk3vb1ix7j77hcs8vsar91rs11s5mm8ir5352rz7ylicr"; - })]; + patches = [ + (fetchpatch { + url = "https://salsa.debian.org/ocaml-team/hol-light/-/raw/master/debian/patches/0004-Fix-compilation-with-camlp5-7.11.patch"; + sha256 = "180qmxbrk3vb1ix7j77hcs8vsar91rs11s5mm8ir5352rz7ylicr"; + }) + ]; buildInputs = [ ocaml camlp5 ]; propagatedBuildInputs = [ num ]; @@ -47,9 +50,9 @@ stdenv.mkDerivation { meta = with lib; { description = "Interactive theorem prover based on Higher-Order Logic"; - homepage = "http://www.cl.cam.ac.uk/~jrh13/hol-light/"; - license = licenses.bsd2; - platforms = platforms.unix; + homepage = "http://www.cl.cam.ac.uk/~jrh13/hol-light/"; + license = licenses.bsd2; + platforms = platforms.unix; maintainers = with maintainers; [ thoughtpolice maggesi vbgl ]; }; } |