nixpkgs mirror (for testing) github.com/NixOS/nixpkgs
nix
at devShellTools-shell 43 lines 1.0 kB view raw
1{ 2 lib, 3 stdenv, 4 fetchurl, 5 bigloo, 6}: 7 8# Compute the “release” version of bigloo (before the first dash, if any) 9let 10 bigloo-release = 11 let 12 inherit (lib) head splitString; 13 in 14 head (splitString "-" (builtins.parseDrvName bigloo.name).version); 15in 16 17stdenv.mkDerivation rec { 18 pname = "hop"; 19 version = "3.4.4"; 20 src = fetchurl { 21 url = "ftp://ftp-sop.inria.fr/indes/fp/Hop/hop-${version}.tar.gz"; 22 sha256 = "sha256-GzXh4HC+SFFoUi7SMqu36iYRPAJ6tMnOHd+he6n9k1I="; 23 }; 24 25 postPatch = '' 26 substituteInPlace configure --replace "(os-tmp)" '(getenv "TMPDIR")' 27 ''; 28 29 buildInputs = [ bigloo ]; 30 31 configureFlags = [ 32 "--bigloo=${bigloo}/bin/bigloo" 33 "--bigloolibdir=${bigloo}/lib/bigloo/${bigloo-release}/" 34 ]; 35 36 meta = with lib; { 37 description = "Multi-tier programming language for the Web 2.0 and the so-called diffuse Web"; 38 homepage = "http://hop.inria.fr/"; 39 license = licenses.gpl2Plus; 40 platforms = platforms.linux; 41 maintainers = with maintainers; [ vbgl ]; 42 }; 43}