[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 08:45:43 +0200 |
User-agent: |
mu4e 1.10.5; emacs 27.1 |
Julien Lepiller <julien@lepiller.eu> writes:
> It's not very clean, but this works:
Indeed it works ! Thanks a lot Julien.
> (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
> )