about summary refs log tree commit diff
path: root/pkgs/development/compilers/heptagon/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/heptagon/default.nix')
-rw-r--r--pkgs/development/compilers/heptagon/default.nix56
1 files changed, 0 insertions, 56 deletions
diff --git a/pkgs/development/compilers/heptagon/default.nix b/pkgs/development/compilers/heptagon/default.nix
deleted file mode 100644
index 7f9c1c849f4a..000000000000
--- a/pkgs/development/compilers/heptagon/default.nix
+++ /dev/null
@@ -1,56 +0,0 @@
-{ lib
-, stdenv
-, fetchFromGitLab
-, makeWrapper
-, ocamlPackages
-}:
-
-stdenv.mkDerivation (finalAttrs: {
-  pname = "heptagon";
-  version = "1.05.00";
-
-  src = fetchFromGitLab {
-    domain = "gitlab.inria.fr";
-    owner = "synchrone";
-    repo = "heptagon";
-    rev = "v${finalAttrs.version}";
-    hash = "sha256-b4O48MQT3Neh8a1Z5wRgS701w6XrwpsbSMprlqTT+CE=";
-  };
-
-  strictDeps = true;
-
-  nativeBuildInputs = with ocamlPackages; [
-    camlp4
-    findlib
-    makeWrapper
-    menhir
-    ocaml
-    ocamlbuild
-  ];
-
-  buildInputs = with ocamlPackages; [
-    camlp4
-    lablgtk
-    menhirLib
-    ocamlgraph
-  ];
-
-  # the heptagon library in lib/heptagon is not executable
-  postInstall = ''
-    find $out/lib/heptagon -type f -exec chmod -x {} \;
-  '';
-
-  postFixup = with ocamlPackages; ''
-    wrapProgram $out/bin/hepts \
-      --prefix CAML_LD_LIBRARY_PATH : "${lablgtk}/lib/ocaml/${ocaml.version}/site-lib/lablgtk2"
-  '';
-
-  meta = with lib; {
-    description = "Compiler for the Heptagon/BZR synchronous programming language";
-    homepage = "https://gitlab.inria.fr/synchrone/heptagon";
-    license = licenses.gpl3Plus;
-    maintainers = with maintainers; [ wegank ];
-    mainProgram = "heptc";
-    platforms = platforms.unix;
-  };
-})