From f8700b3d4bb112edadc367b64720263967f48aa6 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Mon, 13 Jan 2025 07:27:34 +0100 Subject: [PATCH] [core-dev] Remove rocq-native It is now on the ocaml repo: https://github.com/ocaml/opam-repository/pull/27237 --- .../packages/rocq-native/rocq-native.dev/opam | 28 ------------------- 1 file changed, 28 deletions(-) delete mode 100644 core-dev/packages/rocq-native/rocq-native.dev/opam diff --git a/core-dev/packages/rocq-native/rocq-native.dev/opam b/core-dev/packages/rocq-native/rocq-native.dev/opam deleted file mode 100644 index 40f0a850d..000000000 --- a/core-dev/packages/rocq-native/rocq-native.dev/opam +++ /dev/null @@ -1,28 +0,0 @@ -opam-version: "2.0" -version: "1" -synopsis: "Package flag enabling rocq's native-compiler flag" -description: """\ -This package acts as a package flag for the ambient switch, taken into -account by rocq (and possibly any rocq library) to enable native_compute -at configure time, triggering the installation of .coq-native/* files -for the rocq libraries. - -This implements item 1 of CEP #48 . - -Remarks: - -1. you might face with issues installing this package flag under macOS, - see . -2. this package is not intended to be used as a dependency of other - packages (notably as installing or uninstalling this package may - trigger a rebuild of all rocq packages in the ambient switch). -3. the option set by this package will be automatically propagated to - rocq compile.""" -maintainer: "Erik Martin-Dorel" -authors: "Rocq" -homepage: "https://coq.inria.fr/" -bug-reports: "https://github.com/coq/coq/issues" -conflicts: [ - "base-nnp" - "ocaml-option-nnpchecker" -]