[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: dune-based package design trouble
From: |
Erwan Jahier |
Subject: |
Re: dune-based package design trouble |
Date: |
Thu, 21 Sep 2023 11:58:07 +0200 |
User-agent: |
mu4e 1.10.5; emacs 27.1 |
> It's not very clean, but this works:
Indeed it would be better to make ocamlfind do its job of correctly
finding camlidl (and this is actually biting for another package),
probably by fixing the camlidl recipe I guess.
More precisely
ocamfind query camlidl
returns the wrong path. But
ocamfind prinfconf path
returns
...
/gnu/store/wazczxixf2s0aakw586gh1pk8s3yc74d-camlidl-1.09/lib/ocaml
/gnu/store/wazczxixf2s0aakw586gh1pk8s3yc74d-camlidl-1.09/lib/ocaml/site-lib
...
which looks correct. The file
/gnu/store/wazczxixf2s0aakw586gh1pk8s3yc74d-camlidl-1.09/lib/ocaml/site-lib/camlidl/META
exists.
So AFAICT, camlidl install is correct wrt ocamlfind. Any idea of what is
happening?
> (define-public ocaml-mlgmpidl
> (package
> (name "ocaml-mlgmpidl")
> (version "1.2.15")
> (source (origin
> (method url-fetch)
> (uri
> "https://github.com/nberth/mlgmpidl/archive/1.2.15.tar.gz")
> (sha256
> (base32
> "0hcaan4n5li0rnr55ilgxgd8w00lza9an6w4yj7v66dcb7plbasj"))))
> (build-system ocaml-build-system)
> (arguments
> `(#:tests? #f;
> #:phases
> (modify-phases %standard-phases
> (replace 'configure
> (lambda* (#:key outputs inputs #:allow-other-keys)
> (substitute* "configure"
> ((".*query gmp.*") "echo \"$camlidl_prefix\n\" \n")
> (("camlidl_prefix=`\\$ocamlfind.*")
> (string-append "camlidl_prefix=\"" (assoc-ref inputs
> "camlidl") "/lib/ocaml/site-lib/camlidl\"\n")))
> (invoke "./configure" "--prefix" (assoc-ref outputs
> "out")))))))
> (inputs (list perl ocaml-findlib camlidl gmp mpfr
> ocaml-bigarray-compat))
> (home-page
>
> "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/")
> (synopsis "OCaml interface to the GMP library")
> (description #f)
> (license license:lgpl2.1)) ; with linking exception
> )