diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-09-08 07:27:08 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-09-14 21:42:22 +0200 |
commit | cc4a33d78c0fdfc8d64274179c24d8188153287a (patch) | |
tree | de30d3a2a79d8697552e9d272565efbb44f9c302 | |
parent | c814b0ef2419c80234d8d20f330155621a9e27c8 (diff) |
ott: 0.30 → 0.31
-rw-r--r-- | pkgs/applications/science/logic/ott/default.nix | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/pkgs/applications/science/logic/ott/default.nix b/pkgs/applications/science/logic/ott/default.nix index 4f1b984b995f..ecc253a64d98 100644 --- a/pkgs/applications/science/logic/ott/default.nix +++ b/pkgs/applications/science/logic/ott/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, pkgconfig, ocaml }: +{ stdenv, fetchFromGitHub, pkgconfig, ocaml, opaline }: stdenv.mkDerivation rec { pname = "ott"; @@ -11,17 +11,12 @@ stdenv.mkDerivation rec { sha256 = "0l81126i2qkz11fs5yrjdgymnqgjcs5avb7f951h61yh1s68jpnn"; }; - nativeBuildInputs = [ pkgconfig ]; + nativeBuildInputs = [ pkgconfig opaline ]; buildInputs = [ ocaml ]; - installPhase = '' - mkdir -p $out/bin - cp src/ott.opt $out/bin - ln -s $out/bin/ott.opt $out/bin/ott + installTargets = "ott.install"; - mkdir -p $out/share/emacs/site-lisp - cp emacs/ott-mode.el $out/share/emacs/site-lisp - ''; + postInstall = "opaline -prefix $out"; meta = { description = "Ott: tool for the working semanticist"; |