Commit d29fd527 authored by Weijia Wang's avatar Weijia Wang
Browse files

heptagon: refactor

parent db530516

pkgs/development/compilers/heptagon/default.nix

+16 −12
Original line number Diff line number Diff line
@@ -5,31 +5,34 @@ 
, ocamlPackages

}:



stdenv.mkDerivation rec {

stdenv.mkDerivation (finalAttrs: {

  pname = "heptagon";

  version = "1.05.00";



  src = fetchFromGitLab {

    domain = "gitlab.inria.fr";

    owner = "synchrone";

    repo = pname;

    rev = "v${version}";

    sha256 = "sha256-b4O48MQT3Neh8a1Z5wRgS701w6XrwpsbSMprlqTT+CE=";

    repo = "heptagon";

    rev = "v${finalAttrs.version}";

    hash = "sha256-b4O48MQT3Neh8a1Z5wRgS701w6XrwpsbSMprlqTT+CE=";

  };



  nativeBuildInputs = [

  strictDeps = true;



  nativeBuildInputs = with ocamlPackages; [

    camlp4

    findlib

    makeWrapper

    menhir

    ocaml

    ocamlbuild

  ];



  buildInputs = with ocamlPackages; [

    ocaml

    findlib

    menhir

    menhirLib

    ocamlgraph

    camlp4

    ocamlbuild

    lablgtk

    menhirLib

    ocamlgraph

  ];



  # the heptagon library in lib/heptagon is not executable
@@ -48,5 +51,6 @@ stdenv.mkDerivation rec { 
    license = licenses.gpl3Plus;

    maintainers = with maintainers; [ wegank ];

    mainProgram = "heptc";

    platforms = platforms.unix;

  };

}
 
})