From: Liliana Marie Prikler <liliana.prikler@gmail.com>
To: 66505@debbugs.gnu.org
Subject: [bug#66505] [PATCH] gnu: Add fast-downward.
Date: Thu, 12 Oct 2023 19:26:29 +0200 [thread overview]
Message-ID: <6af9732e8aefc27bea7de734242609a88ff4dd32.1697134721.git.liliana.prikler@gmail.com> (raw)
* gnu/packages/maths.scm (fast-downward): New variable.
---
gnu/packages/maths.scm | 55 ++++++++++++++++++++++++++++++++++++++++++
1 file changed, 55 insertions(+)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 9d157ae921..3ad3170b09 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3178,6 +3178,61 @@ (define-public opencascade-occt
;; File src/NCollection/NCollection_StdAllocator.hxx:
license:public-domain))))
+(define-public fast-downward
+ (package
+ (name "fast-downward")
+ (version "23.06.0")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/aibasel/downward")
+ (commit (string-append "release-" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "1xrgnvbkzkdf6srbrlsnf4qrgp0f1lkk7yxf34ynna0w49l468d4"))))
+ (build-system cmake-build-system)
+ (arguments
+ (list
+ #:tests? #f ; no tests
+ #:phases
+ #~(modify-phases %standard-phases
+ (add-after 'unpack 'fix-driver
+ (lambda* (#:key outputs #:allow-other-keys)
+ (substitute* "driver/run_components.py"
+ ;; strip gratuitous "bin"
+ (("os\\.path\\.join\\((.*), \"bin\"\\)" all keep)
+ (string-append "os.path.join(" keep ")")))))
+ (add-before 'configure 'chdir
+ (lambda _ (chdir "src")))
+ (replace 'install
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let* ((out (assoc-ref outputs "out"))
+ (dest (string-append out "/libexec/fast-downward"
+ "/builds/release")))
+ (mkdir-p dest)
+ (with-directory-excursion "bin"
+ (install-file "downward" dest)
+ (copy-recursively "translate"
+ (string-append dest "/translate"))))))
+ (add-after 'install 'install-driver
+ (lambda* (#:key outputs #:allow-other-keys)
+ (with-directory-excursion ".."
+ (let* ((out (assoc-ref outputs "out"))
+ (bin (string-append out "/bin/fast-downward"))
+ (dest (string-append out "/libexec/fast-downward")))
+ (copy-recursively "driver"
+ (string-append dest "/driver"))
+ (mkdir-p (dirname bin))
+ (copy-file "fast-downward.py" bin)
+ (wrap-program bin
+ `("PYTHONPATH" prefix (,dest))))))))))
+ (inputs (list bash-minimal python))
+ (home-page "https://www.fast-downward.org/")
+ (synopsis "Domain-independant classical planning system")
+ (description "Fast Downward is a portfolio-based planning system that
+supports the propositional fragment of PDDL2.2.")
+ (license license:gpl3+)))
+
(define-public gmsh
(package
(name "gmsh")
base-commit: 1328c4cca531318e3ed90c6aecb522a5b22a4bcc
prerequisite-patch-id: c1e8930b4fa8edf38130d45c5205a019b6e26dc7
prerequisite-patch-id: 730b3b393d9502ebb6b8339f7ead9589cec71c6f
prerequisite-patch-id: 1fdb09d54aa0ba3082f9501119c9810a36b0c66a
--
2.41.0
next reply other threads:[~2023-10-12 18:23 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-10-12 17:26 Liliana Marie Prikler [this message]
2023-10-14 20:31 ` [bug#66505] [PATCH] gnu: Add fast-downward Ludovic Courtès
2023-10-15 10:30 ` bug#66505: " Liliana Marie Prikler
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=6af9732e8aefc27bea7de734242609a88ff4dd32.1697134721.git.liliana.prikler@gmail.com \
--to=liliana.prikler@gmail.com \
--cc=66505@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 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.