From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
To: Julien Lepiller <julien@lepiller.eu>
Cc: help-guix@gnu.org
Subject: Re: dune-based package design trouble
Date: Thu, 21 Sep 2023 08:45:43 +0200 [thread overview]
Message-ID: <87jzskdntg.fsf@univ-grenoble-alpes.fr> (raw)
In-Reply-To: <20230921075730.6964647c@lepiller.eu>
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
> )
next prev parent reply other threads:[~2023-09-21 6:49 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-09-20 7:52 dune-based package design trouble Erwan Jahier
2023-09-21 5:57 ` Julien Lepiller
2023-09-21 6:45 ` Erwan Jahier [this message]
2023-09-21 9:58 ` Erwan Jahier
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87jzskdntg.fsf@univ-grenoble-alpes.fr \
--to=erwan.jahier@univ-grenoble-alpes.fr \
--cc=help-guix@gnu.org \
--cc=julien@lepiller.eu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.