From 9f9b43b73bffcc6b525965527cf412d04202481e Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 4 May 2022 09:31:44 +0200
Subject: [PATCH] [ci] remove old nix packages
---
nix/dune-dyn.nix | 20 --------------------
nix/dune-ordering.nix | 19 -------------------
nix/dune-private-libs.nix | 20 --------------------
nix/dune-stdune.nix | 20 --------------------
4 files changed, 79 deletions(-)
delete mode 100644 nix/dune-dyn.nix
delete mode 100644 nix/dune-ordering.nix
delete mode 100644 nix/dune-private-libs.nix
delete mode 100644 nix/dune-stdune.nix
diff --git a/nix/dune-dyn.nix b/nix/dune-dyn.nix
deleted file mode 100644
index 663d90c0a8b..00000000000
--- a/nix/dune-dyn.nix
+++ /dev/null
@@ -1,20 +0,0 @@
-{ lib, buildDunePackage, dune_2, dune-ordering, pp }:
-
-buildDunePackage rec {
- pname = "dyn";
-
- useDune2 = true;
-
- inherit (dune_2) src version patches;
- buildInputs = dune_2.buildInputs ++ [ dune-ordering pp ] ;
-
- minimumOCamlVersion = "4.08";
-
- dontAddPrefix = true;
-
- meta = with lib; {
- description = "Private libraries of Dune";
- maintainers = [];
- license = licenses.mit;
- };
-}
diff --git a/nix/dune-ordering.nix b/nix/dune-ordering.nix
deleted file mode 100644
index 5c5ee063667..00000000000
--- a/nix/dune-ordering.nix
+++ /dev/null
@@ -1,19 +0,0 @@
-{ lib, buildDunePackage, dune_2 }:
-
-buildDunePackage rec {
- pname = "ordering";
-
- useDune2 = true;
-
- inherit (dune_2) src version patches;
-
- minimumOCamlVersion = "4.08";
-
- dontAddPrefix = true;
-
- meta = with lib; {
- description = "Private libraries of Dune";
- maintainers = [];
- license = licenses.mit;
- };
-}
diff --git a/nix/dune-private-libs.nix b/nix/dune-private-libs.nix
deleted file mode 100644
index 57ab7265ec0..00000000000
--- a/nix/dune-private-libs.nix
+++ /dev/null
@@ -1,20 +0,0 @@
-{ lib, buildDunePackage, dune_2, csexp, pp, dune-dyn, dune-stdune, dune-ordering }:
-
-buildDunePackage rec {
- pname = "dune-private-libs";
-
- useDune2 = true;
-
- inherit (dune_2) src version patches;
- buildInputs = dune_2.buildInputs ++ [ dune-stdune dune-dyn dune-ordering csexp pp ] ;
-
- minimumOCamlVersion = "4.08";
-
- dontAddPrefix = true;
-
- meta = with lib; {
- description = "Private libraries of Dune";
- maintainers = [ maintainers.marsam ];
- license = licenses.mit;
- };
-}
diff --git a/nix/dune-stdune.nix b/nix/dune-stdune.nix
deleted file mode 100644
index f203355847f..00000000000
--- a/nix/dune-stdune.nix
+++ /dev/null
@@ -1,20 +0,0 @@
-{ lib, buildDunePackage, dune_2, dune-ordering, dune-dyn, csexp, pp }:
-
-buildDunePackage rec {
- pname = "stdune";
-
- useDune2 = true;
-
- inherit (dune_2) src version patches;
- buildInputs = dune_2.buildInputs ++ [ dune-ordering dune-dyn csexp pp ] ;
-
- minimumOCamlVersion = "4.08";
-
- dontAddPrefix = true;
-
- meta = with lib; {
- description = "Private libraries of Dune";
- maintainers = [];
- license = licenses.mit;
- };
-}
--
GitLab