[build] Add -cclib -lcoqrun options to build of kernel.cmxa.

It seems that it is standard practice in the OCaml world to set the
`-cclib` flags at library creation time, at least in native libraries.

Indeed, this seems to make linking easier as seen for example in #7563.

1 files changed, 0 insertions, 3 deletions

diff --git a/META.coq b/META.coq
index 3414ccbd4..570d9ce79 100644
--- a/META.coq
+++ b/META.coq
@@ -57,9 +57,6 @@ package "vm" (
 # We currently prefer static linking of the VM.
   archive(byte)    = "libcoqrun.a"
   linkopts(byte)   = "-custom"
-
-  linkopts(native) = "-cclib -lcoqrun"
-
 )
 
 package "kernel" (