bug#66505: closed ([PATCH] gnu: Add fast-downward.)

[GNU bug Tracking System]

Your message dated Sun, 15 Oct 2023 12:30:17 +0200
with message-id <495bb1adeacd30b7d9a78df523852cb5ff69f31d.camel@gmail.com>
and subject line Re: [bug#66505] [PATCH] gnu: Add fast-downward.
has caused the debbugs.gnu.org bug report #66505,
regarding [PATCH] gnu: Add fast-downward.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
66505: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66505
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: Add fast-downward.
>
>
>
>
> Date: 
>
> Thu, 12 Oct 2023 19:26:29 +0200
>
>
>
>
> * 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#66505] [PATCH] gnu: Add fast-downward.
>
>
>
>
> Date: 
>
> Sun, 15 Oct 2023 12:30:17 +0200
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> Am Samstag, dem 14.10.2023 um 22:31 +0200 schrieb Ludovic Courtès:
> > Liliana Marie Prikler <liliana.prikler@gmail.com> skribis:
> > 
> > > * gnu/packages/maths.scm (fast-downward): New variable.
> > 
> > LGTM! :-)
> Thanks.
>
> Pushed now.
>
>
> --- End Message ---