From: Simon Tournier <zimon.toutoune@gmail.com>
To: 66013@debbugs.gnu.org
Cc: Simon Tournier <zimon.toutoune@gmail.com>
Subject: [bug#66013] [PATCH 1/4] gnu: bap: Update to 2.5.0-alpha-0.a972f8a.
Date: Fri, 15 Sep 2023 21:10:37 +0200 [thread overview]
Message-ID: <89bb3fe4dbd60e640d2614b4e26711fd63c9a669.1694800551.git.zimon.toutoune@gmail.com> (raw)
In-Reply-To: <cover.1694800551.git.zimon.toutoune@gmail.com>
* gnu/packages/ocaml.scm (bap): Explicitly refer to commit instead of mutable
Git tag.
---
gnu/packages/ocaml.scm | 147 +++++++++++++++++++++--------------------
1 file changed, 75 insertions(+), 72 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 8ff755aea9fb..c026433b0ef1 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -5324,82 +5324,85 @@ (define-public ocaml-ppx-bap
(license license:expat)))
(define-public bap
- (package
- (name "bap")
- (version "2.5.0-alpha")
- (home-page "https://github.com/BinaryAnalysisPlatform/bap")
- (source (origin
- (method git-fetch)
- (uri (git-reference
- (url home-page)
- (commit (string-append "v" version))))
- (file-name (git-file-name name version))
- (sha256
- (base32
- "1fw9pp0xnssc08qqfkcafffap4f46hw7zmk80gif5yc4nazga8w5"))))
- (build-system ocaml-build-system)
- (arguments
- (list
- #:use-make? #t
- #:phases
- #~(modify-phases %standard-phases
- (add-before 'configure 'fix-ncurses
- (lambda _
- (substitute* "oasis/llvm"
- (("-lcurses") "-lncurses"))
- #t))
- (replace 'configure
- (lambda* (#:key outputs inputs #:allow-other-keys)
- (for-each make-file-writable (find-files "." "."))
- ;; Package name changed
- (substitute* "oasis/elf-loader"
- (("bitstring.ppx") "ppx_bitstring"))
- ;; We don't have a monolithic llvm
- (substitute* "oasis/llvm.setup.ml.in"
- (("llvm_static = \"true\"") "true"))
- (invoke "./configure" "--prefix"
- (assoc-ref outputs "out")
- "--libdir"
- (string-append
+ (let (;; Let pin one commit because -alpha is subject to change.
+ (revision "0")
+ (commit "a972f8a419294dfb21847db5172ba58c5d7767eb"))
+ (package
+ (name "bap")
+ (version (git-version "2.5.0-alpha" revision commit))
+ (home-page "https://github.com/BinaryAnalysisPlatform/bap")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url home-page)
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "1fw9pp0xnssc08qqfkcafffap4f46hw7zmk80gif5yc4nazga8w5"))))
+ (build-system ocaml-build-system)
+ (arguments
+ (list
+ #:use-make? #t
+ #:phases
+ #~(modify-phases %standard-phases
+ (add-before 'configure 'fix-ncurses
+ (lambda _
+ (substitute* "oasis/llvm"
+ (("-lcurses") "-lncurses"))
+ #t))
+ (replace 'configure
+ (lambda* (#:key outputs inputs #:allow-other-keys)
+ (for-each make-file-writable (find-files "." "."))
+ ;; Package name changed
+ (substitute* "oasis/elf-loader"
+ (("bitstring.ppx") "ppx_bitstring"))
+ ;; We don't have a monolithic llvm
+ (substitute* "oasis/llvm.setup.ml.in"
+ (("llvm_static = \"true\"") "true"))
+ (invoke "./configure" "--prefix"
(assoc-ref outputs "out")
- "/lib/ocaml/site-lib")
- (string-append "--with-llvm-version=" #$(package-version llvm))
- "--with-llvm-config=llvm-config"
- "--disable-ghidra"
- "--disable-llvm-static"
- "--enable-llvm"
- "--enable-everything"))))))
- (native-inputs (list clang ocaml-oasis ocaml-ounit))
- (propagated-inputs
- (list
- camlzip
- ocaml-bitstring
- ocaml-cmdliner
- ocaml-core-kernel
- ocaml-ezjsonm
- ocaml-fileutils
- ocaml-frontc
- ocaml-graph
- ocaml-linenoise
- ocaml-ocurl
- ocaml-piqi
- ocaml-ppx-bap
- ocaml-ppx-bitstring
- ocaml-re
- ocaml-uri
- ocaml-utop
- ocaml-uuidm
- ocaml-yojson
- ocaml-z3
- ocaml-zarith))
- (inputs
- (list gmp llvm ncurses))
- (synopsis "Binary Analysis Platform")
- (description "Binary Analysis Platform is a framework for writing program
+ "--libdir"
+ (string-append
+ (assoc-ref outputs "out")
+ "/lib/ocaml/site-lib")
+ (string-append "--with-llvm-version=" #$(package-version llvm))
+ "--with-llvm-config=llvm-config"
+ "--disable-ghidra"
+ "--disable-llvm-static"
+ "--enable-llvm"
+ "--enable-everything"))))))
+ (native-inputs (list clang ocaml-oasis ocaml-ounit))
+ (propagated-inputs
+ (list
+ camlzip
+ ocaml-bitstring
+ ocaml-cmdliner
+ ocaml-core-kernel
+ ocaml-ezjsonm
+ ocaml-fileutils
+ ocaml-frontc
+ ocaml-graph
+ ocaml-linenoise
+ ocaml-ocurl
+ ocaml-piqi
+ ocaml-ppx-bap
+ ocaml-ppx-bitstring
+ ocaml-re
+ ocaml-uri
+ ocaml-utop
+ ocaml-uuidm
+ ocaml-yojson
+ ocaml-z3
+ ocaml-zarith))
+ (inputs
+ (list gmp llvm ncurses))
+ (synopsis "Binary Analysis Platform")
+ (description "Binary Analysis Platform is a framework for writing program
analysis tools, that target binary files. The framework consists of a plethora
of libraries, plugins, and frontends. The libraries provide code reusability,
the plugins facilitate extensibility, and the frontends serve as entry points.")
- (license license:expat)))
+ (license license:expat))))
(define-public ocaml-camomile
(package
--
2.38.1
next prev parent reply other threads:[~2023-09-15 19:12 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-09-15 18:38 [bug#66013] [PATCH 0/4] gnu: bap, python-glcontext: Fix hash and update Simon Tournier
2023-09-15 19:10 ` Simon Tournier [this message]
2023-09-15 19:10 ` [bug#66013] [PATCH 2/4] gnu: bap: Update to 2.6.0-alpha-0.f995d28 Simon Tournier
2023-09-15 19:10 ` [bug#66013] [PATCH 3/4] gnu: python-glcontext: Update to 2.4.0-0.beebc1f Simon Tournier
2023-09-15 19:10 ` [bug#66013] [PATCH 4/4] gnu: python-glcontext: Update to 2.4.0-1.0af21b7 Simon Tournier
2023-09-22 14:00 ` bug#66013: [PATCH 0/4] gnu: bap, python-glcontext: Fix hash and update Simon Tournier
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
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=89bb3fe4dbd60e640d2614b4e26711fd63c9a669.1694800551.git.zimon.toutoune@gmail.com \
--to=zimon.toutoune@gmail.com \
--cc=66013@debbugs.gnu.org \
/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 public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).