treewide: add strictDeps = true to most packages depending on ocaml
This commit is contained in:
parent
c53a63adf1
commit
376e9ceead
|
@ -19,8 +19,10 @@ stdenv.mkDerivation rec {
|
||||||
src = ./fix-build-bash.patch;
|
src = ./fix-build-bash.patch;
|
||||||
});
|
});
|
||||||
|
|
||||||
nativeBuildInputs = [ makeWrapper ];
|
strictDeps = true;
|
||||||
buildInputs = [ ocaml mupdf libX11 libGLU libGL freetype zlib gumbo jbig2dec openjpeg libjpeg lcms2 harfbuzz ];
|
|
||||||
|
nativeBuildInputs = [ makeWrapper ocaml ];
|
||||||
|
buildInputs = [ mupdf libX11 libGLU libGL freetype zlib gumbo jbig2dec openjpeg libjpeg lcms2 harfbuzz ];
|
||||||
|
|
||||||
dontStrip = true;
|
dontStrip = true;
|
||||||
|
|
||||||
|
|
|
@ -27,13 +27,9 @@ stdenv.mkDerivation rec {
|
||||||
'${ocamlPackages.camlp4}/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib/camlp4'
|
'${ocamlPackages.camlp4}/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib/camlp4'
|
||||||
'';
|
'';
|
||||||
|
|
||||||
buildInputs = (with ocamlPackages; [
|
strictDeps = true;
|
||||||
ocaml
|
nativeBuildInputs = with ocamlPackages; [ ocaml camlp4];
|
||||||
camlp4
|
buildInputs = (with ocamlPackages; [ num ]) ++ [ zlib ];
|
||||||
num
|
|
||||||
]) ++ [
|
|
||||||
zlib
|
|
||||||
];
|
|
||||||
|
|
||||||
meta = {
|
meta = {
|
||||||
broken = stdenv.isDarwin;
|
broken = stdenv.isDarwin;
|
||||||
|
|
|
@ -23,9 +23,11 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "sha256-taA8eZ/wOe9uMccXVYfe34/XzWgqYKA3tLZnIOahOrQ=";
|
sha256 = "sha256-taA8eZ/wOe9uMccXVYfe34/XzWgqYKA3tLZnIOahOrQ=";
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ makeWrapper ]
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ makeWrapper ocamlPackages.ocaml ]
|
||||||
++ lib.optional enableX11 copyDesktopItems;
|
++ lib.optional enableX11 copyDesktopItems;
|
||||||
buildInputs = [ ocamlPackages.ocaml ncurses ];
|
buildInputs = [ ncurses ];
|
||||||
|
|
||||||
preBuild = lib.optionalString enableX11 ''
|
preBuild = lib.optionalString enableX11 ''
|
||||||
sed -i "s|\(OCAMLOPT=.*\)$|\1 -I $(echo "${ocamlPackages.lablgtk}"/lib/ocaml/*/site-lib/lablgtk2)|" src/Makefile.OCaml
|
sed -i "s|\(OCAMLOPT=.*\)$|\1 -I $(echo "${ocamlPackages.lablgtk}"/lib/ocaml/*/site-lib/lablgtk2)|" src/Makefile.OCaml
|
||||||
|
|
|
@ -9,7 +9,9 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "sha256-/eOiebMFHgrurtrSHPlgZO3xmmxBOUmyAzswXZLd3Yc=";
|
sha256 = "sha256-/eOiebMFHgrurtrSHPlgZO3xmmxBOUmyAzswXZLd3Yc=";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml ocamlbuild findlib ]);
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml ocamlbuild findlib ]);
|
||||||
|
|
||||||
installPhase = ''
|
installPhase = ''
|
||||||
mkdir -p $out/bin
|
mkdir -p $out/bin
|
||||||
|
|
|
@ -9,7 +9,9 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "sha256-F5eVN5ATYo9Ivpi2eYh96ktuTWUeoqgWMR4BqHu8EFs=";
|
sha256 = "sha256-F5eVN5ATYo9Ivpi2eYh96ktuTWUeoqgWMR4BqHu8EFs=";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ ocaml ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ ocaml ];
|
||||||
|
|
||||||
/* Fix up the frontend to load the 'default' cryptoverif library
|
/* Fix up the frontend to load the 'default' cryptoverif library
|
||||||
** from under $out/libexec. By default, it expects to find the files
|
** from under $out/libexec. By default, it expects to find the files
|
||||||
|
|
|
@ -9,10 +9,8 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "sha256-fEe0DIMGj7wO+79/BZf45kykgyTXpbZJsyFSt31XqpM=";
|
sha256 = "sha256-fEe0DIMGj7wO+79/BZf45kykgyTXpbZJsyFSt31XqpM=";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [
|
strictDeps = true;
|
||||||
ocaml
|
nativeBuildInputs = [ ocaml perl ];
|
||||||
perl
|
|
||||||
];
|
|
||||||
setSourceRoot = "export sourceRoot=$(echo */ekrh/src/)";
|
setSourceRoot = "export sourceRoot=$(echo */ekrh/src/)";
|
||||||
preInstall = "export INSTALLDIR=$out";
|
preInstall = "export INSTALLDIR=$out";
|
||||||
postInstall = ''for i in "$out/casc"/*; do ln -s "$i" "$out/bin/ekrh-casc-$(basename $i)"; done '';
|
postInstall = ''for i in "$out/casc"/*; do ln -s "$i" "$out/bin/ekrh-casc-$(basename $i)"; done '';
|
||||||
|
|
|
@ -38,7 +38,9 @@ stdenv.mkDerivation {
|
||||||
})
|
})
|
||||||
];
|
];
|
||||||
|
|
||||||
buildInputs = [ ocaml camlp5 ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ ocaml camlp5 ];
|
||||||
propagatedBuildInputs = [ num ];
|
propagatedBuildInputs = [ num ];
|
||||||
|
|
||||||
installPhase = ''
|
installPhase = ''
|
||||||
|
|
|
@ -9,7 +9,10 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "0lik8p7ayhjwpkln1iwf0ri84ramhch74j5nj6z7ph6wfi92pgg8";
|
sha256 = "0lik8p7ayhjwpkln1iwf0ri84ramhch74j5nj6z7ph6wfi92pgg8";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ ocaml eprover zlib ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ ocaml eprover ];
|
||||||
|
buildInputs = [ zlib ];
|
||||||
|
|
||||||
preConfigure = "patchShebangs .";
|
preConfigure = "patchShebangs .";
|
||||||
|
|
||||||
|
|
|
@ -9,8 +9,10 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "sha256:1b2q7vsz6s9ighypsigqjm1mzjiq3xgnz5id5ssb4rh9zm190r82";
|
sha256 = "sha256:1b2q7vsz6s9ighypsigqjm1mzjiq3xgnz5id5ssb4rh9zm190r82";
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ makeWrapper ];
|
strictDeps = true;
|
||||||
buildInputs = [ eprover ocaml camlp4 perl zlib ];
|
|
||||||
|
nativeBuildInputs = [ makeWrapper eprover ocaml camlp4 perl ];
|
||||||
|
buildInputs = [ zlib ];
|
||||||
|
|
||||||
patches = [ (fetchpatch {
|
patches = [ (fetchpatch {
|
||||||
url = "https://github.com/niklasso/minisat/commit/7eb6015313561a2586032574788fcb133eeaa19f.patch";
|
url = "https://github.com/niklasso/minisat/commit/7eb6015313561a2586032574788fcb133eeaa19f.patch";
|
||||||
|
|
|
@ -11,8 +11,11 @@ stdenv.mkDerivation rec {
|
||||||
hash = "sha256-GzeEiok5kigcmfqf/K/UxvlKkl55zy0vOyiRZ2HyMiE=";
|
hash = "sha256-GzeEiok5kigcmfqf/K/UxvlKkl55zy0vOyiRZ2HyMiE=";
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ pkg-config opaline ];
|
|
||||||
buildInputs = with ocamlPackages; [ ocaml findlib ocamlgraph ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ pkg-config opaline ] ++ (with ocamlPackages; [ findlib ocaml ]);
|
||||||
|
buildInputs = with ocamlPackages; [ ocamlgraph ];
|
||||||
|
|
||||||
installTargets = "ott.install";
|
installTargets = "ott.install";
|
||||||
|
|
||||||
|
|
|
@ -9,9 +9,10 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "0z1z4wqbqwgppkh2bm89fgy07a0y2m6g4lvcyzs09sm1ysklk2dh";
|
sha256 = "0z1z4wqbqwgppkh2bm89fgy07a0y2m6g4lvcyzs09sm1ysklk2dh";
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ pkg-config ];
|
strictDeps = true;
|
||||||
buildInputs = [ ncurses ] ++ (with ocamlPackages; [
|
|
||||||
ocaml findlib camlp5 lablgtk ]);
|
nativeBuildInputs = [ pkg-config ] ++ (with ocamlPackages; [ ocaml findlib camlp5 ]);
|
||||||
|
buildInputs = [ ncurses ] ++ (with ocamlPackages; [ lablgtk ]);
|
||||||
|
|
||||||
dontAddPrefix = true;
|
dontAddPrefix = true;
|
||||||
configureFlags = [ "--prefix" "$(out)" ];
|
configureFlags = [ "--prefix" "$(out)" ];
|
||||||
|
|
|
@ -9,7 +9,9 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "sha256:0xgwnp59779xc40sb7ck8rmfn620pilxyq79l3bymj9m7z0mwvm9";
|
sha256 = "sha256:0xgwnp59779xc40sb7ck8rmfn620pilxyq79l3bymj9m7z0mwvm9";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = with ocamlPackages; [ ocaml findlib ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = with ocamlPackages; [ ocaml findlib ];
|
||||||
|
|
||||||
buildPhase = "./build -nointeract";
|
buildPhase = "./build -nointeract";
|
||||||
installPhase = ''
|
installPhase = ''
|
||||||
|
|
|
@ -3,8 +3,11 @@ stdenv.mkDerivation rec {
|
||||||
pname = "satallax";
|
pname = "satallax";
|
||||||
version = "2.7";
|
version = "2.7";
|
||||||
|
|
||||||
nativeBuildInputs = [ makeWrapper ];
|
strictDeps = true;
|
||||||
buildInputs = [ ocaml zlib which eprover coq ];
|
|
||||||
|
nativeBuildInputs = [ makeWrapper ocaml which eprover coq ];
|
||||||
|
buildInputs = [ zlib ];
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "https://www.ps.uni-saarland.de/~cebrown/satallax/downloads/${pname}-${version}.tar.gz";
|
url = "https://www.ps.uni-saarland.de/~cebrown/satallax/downloads/${pname}-${version}.tar.gz";
|
||||||
sha256 = "1kvxn8mc35igk4vigi5cp7w3wpxk2z3bgwllfm4n3h2jfs0vkpib";
|
sha256 = "1kvxn8mc35igk4vigi5cp7w3wpxk2z3bgwllfm4n3h2jfs0vkpib";
|
||||||
|
|
|
@ -14,7 +14,9 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "113jjhi1qkcggbsmbw8fa9ln8vs7vy2r288szks7rn0jjn0wxmbw";
|
sha256 = "113jjhi1qkcggbsmbw8fa9ln8vs7vy2r288szks7rn0jjn0wxmbw";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ ocaml ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ ocaml ];
|
||||||
|
|
||||||
patchPhase = "patch -p1 < ${pf-patch}";
|
patchPhase = "patch -p1 < ${pf-patch}";
|
||||||
buildPhase = "./build";
|
buildPhase = "./build";
|
||||||
|
|
|
@ -17,7 +17,9 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "c296998acd14d5b93a8d5be7ee178007ef179957465966576bda26944b1b7fca";
|
sha256 = "c296998acd14d5b93a8d5be7ee178007ef179957465966576bda26944b1b7fca";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ ocaml isabelle cvc3 perl wget which ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ ocaml isabelle cvc3 perl wget which ];
|
||||||
|
|
||||||
installPhase = ''
|
installPhase = ''
|
||||||
mkdir -pv "$out"
|
mkdir -pv "$out"
|
||||||
|
|
|
@ -10,8 +10,16 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "sha256-vNR7WeiSvg+763GcovoZBFDfncekJMeqNegP4fVw06I=";
|
sha256 = "sha256-vNR7WeiSvg+763GcovoZBFDfncekJMeqNegP4fVw06I=";
|
||||||
};
|
};
|
||||||
|
|
||||||
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = with ocamlPackages; [
|
||||||
|
ocaml findlib menhir
|
||||||
|
# Coq Support
|
||||||
|
coqPackages.coq
|
||||||
|
];
|
||||||
|
|
||||||
buildInputs = with ocamlPackages; [
|
buildInputs = with ocamlPackages; [
|
||||||
ocaml findlib ocamlgraph zarith menhir
|
ocamlgraph zarith
|
||||||
# Emacs compilation of why3.el
|
# Emacs compilation of why3.el
|
||||||
emacs
|
emacs
|
||||||
# Documentation
|
# Documentation
|
||||||
|
|
|
@ -29,8 +29,10 @@ let common = { version, sha256, patches ? [ ] }:
|
||||||
sha256 = sha256;
|
sha256 = sha256;
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = optional stdenv.hostPlatform.isDarwin fixDarwinDylibNames;
|
strictDeps = true;
|
||||||
buildInputs = [ python ]
|
|
||||||
|
nativeBuildInputs = [ python ]
|
||||||
|
++ optional stdenv.hostPlatform.isDarwin fixDarwinDylibNames
|
||||||
++ optional javaBindings jdk
|
++ optional javaBindings jdk
|
||||||
++ optionals ocamlBindings [ ocaml findlib ]
|
++ optionals ocamlBindings [ ocaml findlib ]
|
||||||
;
|
;
|
||||||
|
|
|
@ -13,8 +13,8 @@ stdenv.mkDerivation rec {
|
||||||
version = "1.0.2";
|
version = "1.0.2";
|
||||||
pname = "monotone-viz";
|
pname = "monotone-viz";
|
||||||
|
|
||||||
nativeBuildInputs = [ pkg-config makeWrapper ];
|
nativeBuildInputs = [ pkg-config makeWrapper ocaml camlp4 ];
|
||||||
buildInputs = [ocaml lablgtk libgnomecanvas glib graphviz_2_0 camlp4];
|
buildInputs = [ lablgtk libgnomecanvas glib graphviz_2_0 ];
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "http://oandrieu.nerim.net/monotone-viz/${pname}-${version}-nolablgtk.tar.gz";
|
url = "http://oandrieu.nerim.net/monotone-viz/${pname}-${version}-nolablgtk.tar.gz";
|
||||||
sha256 = "1l5x4xqz5g1aaqbc1x80mg0yzkiah9ma9k9mivmn08alkjlakkdk";
|
sha256 = "1l5x4xqz5g1aaqbc1x80mg0yzkiah9ma9k9mivmn08alkjlakkdk";
|
||||||
|
|
|
@ -16,14 +16,14 @@ stdenv.mkDerivation rec {
|
||||||
autoreconfHook
|
autoreconfHook
|
||||||
pkg-config
|
pkg-config
|
||||||
getopt
|
getopt
|
||||||
|
ocamlPackages.ocaml
|
||||||
|
ocamlPackages.findlib
|
||||||
];
|
];
|
||||||
|
|
||||||
buildInputs = with ocamlPackages; [
|
buildInputs = with ocamlPackages; [
|
||||||
|
ocamlPackages.ocaml
|
||||||
calendar
|
calendar
|
||||||
curses
|
curses
|
||||||
findlib
|
|
||||||
gettext-stub
|
gettext-stub
|
||||||
ocaml
|
|
||||||
ocaml_libvirt
|
ocaml_libvirt
|
||||||
] ++ [ libxml2 ];
|
] ++ [ libxml2 ];
|
||||||
|
|
||||||
|
|
|
@ -22,7 +22,10 @@ stdenv.mkDerivation {
|
||||||
sha256 = "0yck5r6di0935s3iy2mm9538jkf77ssr789qb06ms7sivd7g3ip6";
|
sha256 = "0yck5r6di0935s3iy2mm9538jkf77ssr789qb06ms7sivd7g3ip6";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ ocaml findlib ocamlbuild yojson menhir menhirLib ulex pprint fix functory ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ ocaml findlib ocamlbuild ];
|
||||||
|
buildInputs = [ yojson menhir menhirLib ulex pprint fix functory ];
|
||||||
|
|
||||||
# Sets warning 3 as non-fatal
|
# Sets warning 3 as non-fatal
|
||||||
prePatch = lib.optionalString (check-ocaml-version "4.02") ''
|
prePatch = lib.optionalString (check-ocaml-version "4.02") ''
|
||||||
|
|
|
@ -1,8 +1,11 @@
|
||||||
{ lib, stdenv, libgcrypt, fetchFromGitHub, ocamlPackages, perl }:
|
{ lib, stdenv, libgcrypt, fetchFromGitHub, ocamlPackages, perl }:
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "obliv-c";
|
pname = "obliv-c";
|
||||||
|
|
||||||
version = "0.0pre20210621";
|
version = "0.0pre20210621";
|
||||||
buildInputs = [ perl ]
|
|
||||||
|
strictDeps = true;
|
||||||
|
nativeBuildInputs = [ perl ]
|
||||||
++ (with ocamlPackages; [ ocaml findlib ocamlbuild ]);
|
++ (with ocamlPackages; [ ocaml findlib ocamlbuild ]);
|
||||||
propagatedBuildInputs = [ libgcrypt ];
|
propagatedBuildInputs = [ libgcrypt ];
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
|
|
|
@ -12,19 +12,20 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "sha256-etzEXbILje+CrfJxIhH7jthEMoSJdS6O33QoG8HrLvI=";
|
sha256 = "sha256-etzEXbILje+CrfJxIhH7jthEMoSJdS6O33QoG8HrLvI=";
|
||||||
};
|
};
|
||||||
|
|
||||||
|
strictDeps = true;
|
||||||
nativeBuildInputs = [
|
nativeBuildInputs = [
|
||||||
makeWrapper
|
makeWrapper
|
||||||
menhir
|
menhir
|
||||||
];
|
ocaml
|
||||||
|
menhir
|
||||||
buildInputs = [
|
|
||||||
cppo
|
cppo
|
||||||
dune_3
|
dune_3
|
||||||
findlib
|
findlib
|
||||||
|
];
|
||||||
|
|
||||||
|
buildInputs = [
|
||||||
fix
|
fix
|
||||||
menhir
|
|
||||||
menhirSdk
|
menhirSdk
|
||||||
ocaml
|
|
||||||
ppxlib
|
ppxlib
|
||||||
utop
|
utop
|
||||||
] ++ lib.optional (lib.versionOlder ocaml.version "4.07") ncurses;
|
] ++ lib.optional (lib.versionOlder ocaml.version "4.07") ncurses;
|
||||||
|
|
|
@ -27,8 +27,10 @@ let compcert = mkCoqDerivation rec {
|
||||||
"3.11".sha256 = "sha256-ZISs/ZAJVWtxp9+Sg5qV5Rss1gI9hK769GnBfawLa6A=";
|
"3.11".sha256 = "sha256-ZISs/ZAJVWtxp9+Sg5qV5Rss1gI9hK769GnBfawLa6A=";
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ makeWrapper ];
|
strictDeps = true;
|
||||||
buildInputs = with ocamlPackages; [ ocaml findlib menhir menhirLib ] ++ [ coq coq2html ];
|
|
||||||
|
nativeBuildInputs = with ocamlPackages; [ makeWrapper ocaml findlib menhir coq coq2html ];
|
||||||
|
buildInputs = with ocamlPackages; [ menhirLib ];
|
||||||
propagatedBuildInputs = [ flocq ];
|
propagatedBuildInputs = [ flocq ];
|
||||||
|
|
||||||
enableParallelBuilding = true;
|
enableParallelBuilding = true;
|
||||||
|
|
|
@ -15,10 +15,14 @@ stdenv.mkDerivation rec {
|
||||||
substituteInPlace setup.ml --replace js_of_ocaml.ocamlbuild js_of_ocaml-ocamlbuild
|
substituteInPlace setup.ml --replace js_of_ocaml.ocamlbuild js_of_ocaml-ocamlbuild
|
||||||
'';
|
'';
|
||||||
|
|
||||||
buildInputs = [ which ] ++ (with ocamlPackages; [
|
strictDeps = true;
|
||||||
ocaml findlib ocamlbuild menhir js_of_ocaml js_of_ocaml-ocamlbuild
|
|
||||||
|
nativeBuildInputs = [ which ] ++ (with ocamlPackages; [
|
||||||
|
ocaml findlib ocamlbuild menhir
|
||||||
]);
|
]);
|
||||||
|
|
||||||
|
buildInputs = with ocamlPackages; [ js_of_ocaml js_of_ocaml-ocamlbuild ];
|
||||||
|
|
||||||
doCheck = true;
|
doCheck = true;
|
||||||
checkTarget = "test";
|
checkTarget = "test";
|
||||||
|
|
||||||
|
|
|
@ -12,7 +12,7 @@ buildDunePackage rec {
|
||||||
|
|
||||||
doCheck = true;
|
doCheck = true;
|
||||||
|
|
||||||
nativeCheckInputs = [ ounit ];
|
checkInputs = [ ounit ];
|
||||||
|
|
||||||
meta = builtins.removeAttrs ocaml_gettext.meta [ "mainProgram" ];
|
meta = builtins.removeAttrs ocaml_gettext.meta [ "mainProgram" ];
|
||||||
}
|
}
|
||||||
|
|
|
@ -25,8 +25,6 @@ buildDunePackage rec {
|
||||||
pname = "ppx_import";
|
pname = "ppx_import";
|
||||||
inherit version;
|
inherit version;
|
||||||
|
|
||||||
useDune2 = true;
|
|
||||||
|
|
||||||
minimalOCamlVersion = "4.05";
|
minimalOCamlVersion = "4.05";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
|
@ -38,7 +36,7 @@ buildDunePackage rec {
|
||||||
ppxlib
|
ppxlib
|
||||||
];
|
];
|
||||||
|
|
||||||
nativeCheckInputs = [
|
checkInputs = [
|
||||||
ounit
|
ounit
|
||||||
ppx_deriving
|
ppx_deriving
|
||||||
ppx_sexp_conv
|
ppx_sexp_conv
|
||||||
|
|
|
@ -18,7 +18,10 @@ stdenv.mkDerivation rec {
|
||||||
install -Dm644 resources/shell/bash-completion $out/share/bash-completion/completions/flow
|
install -Dm644 resources/shell/bash-completion $out/share/bash-completion/completions/flow
|
||||||
'';
|
'';
|
||||||
|
|
||||||
buildInputs = (with ocamlPackages; [ ocaml findlib ocamlbuild ocaml-migrate-parsetree-2 dtoa fileutils core_kernel sedlex ocaml_lwt lwt_log lwt_ppx ppx_deriving ppx_gen_rec visitors wtf8 ])
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = with ocamlPackages; [ ocaml findlib ocamlbuild ];
|
||||||
|
buildInputs = with ocamlPackages; [ ocaml-migrate-parsetree-2 dtoa fileutils core_kernel sedlex ocaml_lwt lwt_log lwt_ppx ppx_deriving ppx_gen_rec visitors wtf8 ]
|
||||||
++ lib.optionals stdenv.isDarwin [ CoreServices ];
|
++ lib.optionals stdenv.isDarwin [ CoreServices ];
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
|
|
|
@ -44,13 +44,14 @@ stdenv.mkDerivation rec {
|
||||||
};
|
};
|
||||||
|
|
||||||
preConfigure = lib.optionalString stdenv.cc.isClang "configureFlagsArray=(\"--with-cpp=clang -E -C\")";
|
preConfigure = lib.optionalString stdenv.cc.isClang "configureFlagsArray=(\"--with-cpp=clang -E -C\")";
|
||||||
|
|
||||||
postConfigure = "patchShebangs src/plugins/value/gen-api.sh";
|
postConfigure = "patchShebangs src/plugins/value/gen-api.sh";
|
||||||
|
|
||||||
nativeBuildInputs = [ autoconf wrapGAppsHook ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ autoconf wrapGAppsHook ] ++ (with ocamlPackages; [ ocaml findlib ]);
|
||||||
|
|
||||||
buildInputs = with ocamlPackages; [
|
buildInputs = with ocamlPackages; [
|
||||||
ncurses ocaml findlib ltl2ba ocamlgraph yojson menhirLib camlzip
|
ncurses ltl2ba ocamlgraph yojson menhirLib camlzip
|
||||||
lablgtk3 lablgtk3-sourceview3 coq graphviz zarith apron why3 mlgmpidl doxygen
|
lablgtk3 lablgtk3-sourceview3 coq graphviz zarith apron why3 mlgmpidl doxygen
|
||||||
ppx_deriving ppx_import
|
ppx_deriving ppx_import
|
||||||
gdk-pixbuf
|
gdk-pixbuf
|
||||||
|
|
|
@ -10,7 +10,10 @@ stdenv.mkDerivation {
|
||||||
|
|
||||||
prePatch = "cd test";
|
prePatch = "cd test";
|
||||||
|
|
||||||
buildInputs = [ ocaml findlib sawja ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ ocaml findlib ];
|
||||||
|
buildInputs = [ sawja ];
|
||||||
|
|
||||||
buildPhase = ''
|
buildPhase = ''
|
||||||
runHook preBuild
|
runHook preBuild
|
||||||
|
|
|
@ -23,11 +23,16 @@ stdenv.mkDerivation {
|
||||||
--prefix PATH : ${lib.makeBinPath runtimePackages}
|
--prefix PATH : ${lib.makeBinPath runtimePackages}
|
||||||
'';
|
'';
|
||||||
|
|
||||||
nativeBuildInputs = [ makeWrapper pkg-config ];
|
|
||||||
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs =
|
||||||
|
[ makeWrapper pkg-config which
|
||||||
|
ocamlPackages.ocaml ocamlPackages.findlib ocamlPackages.menhir
|
||||||
|
];
|
||||||
|
|
||||||
buildInputs = [
|
buildInputs = [
|
||||||
libjpeg
|
libjpeg
|
||||||
which
|
|
||||||
ocamlPackages.ocaml ocamlPackages.findlib
|
|
||||||
|
|
||||||
# Mandatory dependencies
|
# Mandatory dependencies
|
||||||
ocamlPackages.dtools
|
ocamlPackages.dtools
|
||||||
|
|
|
@ -9,7 +9,9 @@ stdenv.mkDerivation {
|
||||||
sha256 = "07gzrs4lfrkvbn48cgn2gn6c7cx3jsanakkrb2irj0gmjzfxl96j";
|
sha256 = "07gzrs4lfrkvbn48cgn2gn6c7cx3jsanakkrb2irj0gmjzfxl96j";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ ocaml perl ];
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [ ocaml perl ];
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
description = "A collection of tools for translating from BibTeX to HTML";
|
description = "A collection of tools for translating from BibTeX to HTML";
|
||||||
|
|
|
@ -14,7 +14,9 @@ stdenv.mkDerivation {
|
||||||
substituteInPlace Makefile --replace /bin/rm rm --replace BINDIR=/usr/local/bin BINDIR=$out/bin
|
substituteInPlace Makefile --replace /bin/rm rm --replace BINDIR=/usr/local/bin BINDIR=$out/bin
|
||||||
'';
|
'';
|
||||||
|
|
||||||
buildInputs = [
|
strictDeps = true;
|
||||||
|
|
||||||
|
nativeBuildInputs = [
|
||||||
ocaml
|
ocaml
|
||||||
camlp5
|
camlp5
|
||||||
];
|
];
|
||||||
|
|
|
@ -13,7 +13,9 @@ stdenv.mkDerivation rec {
|
||||||
substituteInPlace curses/curses.ml --replace 'pp gcc' "pp $CC"
|
substituteInPlace curses/curses.ml --replace 'pp gcc' "pp $CC"
|
||||||
'';
|
'';
|
||||||
|
|
||||||
buildInputs = [ ocamlPackages.ocaml ncurses remind ocamlPackages.camlp4 ];
|
strictDeps = true;
|
||||||
|
nativeBuildInputs = [ ocamlPackages.ocaml ocamlPackages.camlp4 ];
|
||||||
|
buildInputs = [ ncurses remind ];
|
||||||
|
|
||||||
preferLocalBuild = true;
|
preferLocalBuild = true;
|
||||||
|
|
||||||
|
|
|
@ -9,6 +9,8 @@ stdenv.mkDerivation rec {
|
||||||
sha256 = "sha256-XWdZ13AqKVx2oSwbKhoWdUqw7B/+1z/J0LE4tB5yBkg=";
|
sha256 = "sha256-XWdZ13AqKVx2oSwbKhoWdUqw7B/+1z/J0LE4tB5yBkg=";
|
||||||
};
|
};
|
||||||
|
|
||||||
|
strictDeps = true;
|
||||||
|
|
||||||
nativeBuildInputs = with ocamlPackages; [ ocaml ocamlbuild ];
|
nativeBuildInputs = with ocamlPackages; [ ocaml ocamlbuild ];
|
||||||
|
|
||||||
makeFlags = [ "PREFIX=$(out)" ];
|
makeFlags = [ "PREFIX=$(out)" ];
|
||||||
|
|
|
@ -10,8 +10,9 @@ stdenv.mkDerivation {
|
||||||
sha256 = "1420c33divch087xrr61lvyf975bapqkgjqaighl581i69nlzsm6";
|
sha256 = "1420c33divch087xrr61lvyf975bapqkgjqaighl581i69nlzsm6";
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ makeWrapper ];
|
strictDeps = true;
|
||||||
buildInputs = [ ocaml perl ];
|
|
||||||
|
nativeBuildInputs = [ makeWrapper ocaml perl ];
|
||||||
installPhase = ''
|
installPhase = ''
|
||||||
mkdir -p $out/bin
|
mkdir -p $out/bin
|
||||||
cp -p pdfsandwich $out/bin
|
cp -p pdfsandwich $out/bin
|
||||||
|
|
Loading…
Reference in a new issue