mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-27 07:30:18 +02:00
ocamlPackages.sawja: 1.5.8 → 1.5.10
This commit is contained in:
parent
79bbe7b847
commit
347fb5b441
|
@ -1,8 +1,8 @@
|
||||||
{ lib, stdenv, fetchFromGitHub, which, perl, ocaml, findlib, javalib }:
|
{ lib, stdenv, fetchFromGitHub, which, ocaml, findlib, javalib }:
|
||||||
|
|
||||||
let
|
let
|
||||||
pname = "sawja";
|
pname = "sawja";
|
||||||
version = "1.5.8";
|
version = "1.5.10";
|
||||||
webpage = "http://sawja.inria.fr/";
|
webpage = "http://sawja.inria.fr/";
|
||||||
in
|
in
|
||||||
|
|
||||||
|
@ -12,16 +12,20 @@ else
|
||||||
|
|
||||||
stdenv.mkDerivation {
|
stdenv.mkDerivation {
|
||||||
|
|
||||||
name = "ocaml${ocaml.version}-${pname}-${version}";
|
pname = "ocaml${ocaml.version}-${pname}";
|
||||||
|
|
||||||
|
inherit version;
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "javalib-team";
|
owner = "javalib-team";
|
||||||
repo = pname;
|
repo = pname;
|
||||||
rev = "v${version}";
|
rev = version;
|
||||||
sha256 = "0rawr0jav33rvagm8sxc0arc7ya1fd9w5nng3lhfk8p02f9z8wrp";
|
sha256 = "sha256:0k51rscs9mdgpg3qn4cahql5ncdvlb207m015hr8v6r1vfgn0ddq";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ which perl ocaml findlib ];
|
nativeBuildInputs = [ which ];
|
||||||
|
|
||||||
|
buildInputs = [ ocaml findlib ];
|
||||||
|
|
||||||
patches = [ ./configure.sh.patch ./Makefile.config.example.patch ];
|
patches = [ ./configure.sh.patch ./Makefile.config.example.patch ];
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue