Unverified Commit 34cce71c authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #256404 from wegank/heptagon-refactor 

heptagon: refactor
parents 77cbaa49 d29fd527

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;

  };

}
 
})