2020-04-24 23:36:52 +00:00
|
|
|
{ stdenv, fetchurl, bigloo }:
|
|
|
|
|
|
2020-09-25 04:45:31 +00:00
|
|
|
# Compute the “release” version of bigloo (before the first dash, if any)
|
|
|
|
|
let bigloo-release =
|
|
|
|
|
let inherit (stdenv.lib) head splitString; in
|
|
|
|
|
head (splitString "-" (builtins.parseDrvName bigloo.name).version)
|
|
|
|
|
; in
|
|
|
|
|
|
2020-04-24 23:36:52 +00:00
|
|
|
stdenv.mkDerivation rec {
|
2020-09-25 04:45:31 +00:00
|
|
|
name = "hop-3.3.0";
|
2020-04-24 23:36:52 +00:00
|
|
|
src = fetchurl {
|
|
|
|
|
url = "ftp://ftp-sop.inria.fr/indes/fp/Hop/${name}.tar.gz";
|
2020-09-25 04:45:31 +00:00
|
|
|
sha256 = "14gf9ihmw95zdnxsqhn5jymfivpfq5cg9v0y7yjd5i7c787dncp5";
|
2020-04-24 23:36:52 +00:00
|
|
|
};
|
|
|
|
|
|
2020-09-25 04:45:31 +00:00
|
|
|
postPatch = ''
|
|
|
|
|
substituteInPlace configure --replace "(os-tmp)" '(getenv "TMPDIR")'
|
2020-04-24 23:36:52 +00:00
|
|
|
'';
|
|
|
|
|
|
2020-09-25 04:45:31 +00:00
|
|
|
buildInputs = [ bigloo ];
|
|
|
|
|
|
2020-04-24 23:36:52 +00:00
|
|
|
configureFlags = [
|
|
|
|
|
"--bigloo=${bigloo}/bin/bigloo"
|
2020-09-25 04:45:31 +00:00
|
|
|
"--bigloolibdir=${bigloo}/lib/bigloo/${bigloo-release}/"
|
2020-04-24 23:36:52 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
|
description = "A multi-tier programming language for the Web 2.0 and the so-called diffuse Web";
|
|
|
|
|
homepage = "http://hop.inria.fr/";
|
|
|
|
|
license = licenses.gpl2Plus;
|
|
|
|
|
platforms = platforms.linux;
|
|
|
|
|
maintainers = with maintainers; [ vbgl ];
|
|
|
|
|
};
|
|
|
|
|
}
|
