* [bug#66505] [PATCH] gnu: Add fast-downward.
@ 2023-10-12 17:26 Liliana Marie Prikler
2023-10-14 20:31 ` Ludovic Courtès
0 siblings, 1 reply; 3+ messages in thread
From: Liliana Marie Prikler @ 2023-10-12 17:26 UTC (permalink / raw)
To: 66505
* 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
^ permalink raw reply related [flat|nested] 3+ messages in thread
end of thread, other threads:[~2023-10-15 10:31 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-10-12 17:26 [bug#66505] [PATCH] gnu: Add fast-downward Liliana Marie Prikler
2023-10-14 20:31 ` Ludovic Courtès
2023-10-15 10:30 ` bug#66505: " Liliana Marie Prikler
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.