public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ott: 0.30 → 0.31

Browse Source
This commit is contained in:
Vincent Laporte 2020-09-08 07:27:08 +02:00 committed by Vincent Laporte
parent c814b0ef24
commit cc4a33d78c
1 changed files with 4 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/applications/science/logic/ott/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, fetchFromGitHub, pkgconfig, ocaml }: { stdenv, fetchFromGitHub, pkgconfig, ocaml, opaline }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "ott"; pname = "ott";
@ -11,17 +11,12 @@ stdenv.mkDerivation rec {
sha256 = "0l81126i2qkz11fs5yrjdgymnqgjcs5avb7f951h61yh1s68jpnn"; sha256 = "0l81126i2qkz11fs5yrjdgymnqgjcs5avb7f951h61yh1s68jpnn";
}; };
nativeBuildInputs = [ pkgconfig ]; nativeBuildInputs = [ pkgconfig opaline ];
buildInputs = [ ocaml ]; buildInputs = [ ocaml ];
installPhase = '' installTargets = "ott.install";
mkdir -p $out/bin
cp src/ott.opt $out/bin
ln -s $out/bin/ott.opt $out/bin/ott
mkdir -p $out/share/emacs/site-lisp postInstall = "opaline -prefix $out";
cp emacs/ott-mode.el $out/share/emacs/site-lisp
'';
meta = { meta = {
description = "Ott: tool for the working semanticist"; description = "Ott: tool for the working semanticist";