Re: pkg/55988: lang/coq: request to update to dune build system and latest release

[Aleksey Arens <aza.sea.agenda%gmail.com@localhost>]

The following reply was made to PR pkg/55988; it has been noted by GNATS.

From: Aleksey Arens <aza.sea.agenda%gmail.com@localhost>
To: gnats-bugs%netbsd.org@localhost
Cc: 
Subject: Re: pkg/55988: lang/coq: request to update to dune build system and
 latest release
Date: Thu, 11 Feb 2021 05:23:37 -0800

 As far as the excessive memory issues are concerned, it turns out --
 and it follows rather conclusively -- that the root of the issue has
 been the `spacetime` `ocaml` compiler's option.  Some further details
 on the tests that lead to that conclusion are given at the
 https://github.com/coq/coq/issues/11178#issuecomment-777428518
 
 At this point, it remains to find a solution to the problem of DESTDIR
 installation and creating a package.  Since there's a nice tool
 already available towards that end -- namely `opaline` by jaapb (cf.
 https://github.com/jaapb/opaline) -- it should suffice to provide the
 .install files.  Unfortunately, I don't see them being generated by
 dune, and perhaps they may be adapted from the ones currently present
 in the opam repository (cf.
 https://github.com/ocaml/opam-repository/tree/master/packages/coq/coq.8.13.0/files
 and https://github.com/ocaml/opam-repository/tree/master/packages/coqide/coqide.8.13.0/files).