bug#66629: closed ([PATCH] gnu: Add popf.)

[GNU bug Tracking System]

Your message dated Fri, 27 Oct 2023 16:40:11 +0200
with message-id <f0b149ab3e334ffa8ce0d80efdfbc7cfceb41dd2.camel@gmail.com>
and subject line Re: [PATCH] gnu: Add popf.
has caused the debbugs.gnu.org bug report #66629,
regarding [PATCH] gnu: Add popf.
to be marked as done.

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


-- 
66629: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66629
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: Add popf.
>
>
>
>
> Date: 
>
> Thu, 19 Oct 2023 09:30:19 +0200
>
>
>
>
> * gnu/packages/maths.scm (popf): New variable.
> ---
>  gnu/packages/maths.scm | 48 ++++++++++++++++++++++++++++++++++++++++++
>  1 file changed, 48 insertions(+)
>
> diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
> index 683acd96e1..c1e6b06a26 100644
> --- a/gnu/packages/maths.scm
> +++ b/gnu/packages/maths.scm
> @@ -3179,6 +3179,54 @@ (define-public fast-downward
>  supports the propositional fragment of PDDL2.2.")
>      (license license:gpl3+)))
>  
> +(define popf
> +  (package
> +    (name "popf")
> +    (version "0.0.15")
> +    (source (origin
> +              (method git-fetch)
> +              (uri (git-reference
> +                    (url "https://github.com/fmrico/popf";)
> +                    (commit version)))
> +              (file-name (git-file-name name version))
> +              (sha256
> +               (base32
> +                "1i1am3h6japn8fgapi5s5mnyrm31a05jkjhzgk48cd2n42c5060v"))))
> +    (build-system cmake-build-system)
> +    (arguments
> +     (list
> +      #:tests? #f                       ; no tests
> +      #:phases
> +      #~(modify-phases %standard-phases
> +          (add-after 'unpack 'fix-cmake
> +            (lambda* (#:key inputs #:allow-other-keys)
> +              (substitute* (find-files "." "CMakeLists\\.txt")
> +                (("/usr/local/opt/flex/include")
> +                 (dirname (search-input-file inputs "include/FlexLexer.h"))))
> +              (substitute* "CMakeLists.txt"
> +                (("find_package\\(ament_cmake REQUIRED\\)") "")
> +                (("ament_.*") "")
> +                (("(RUNTIME DESTINATION) .*" all dst)
> +                 (string-append dst " libexec/${PROJECT_NAME}")))))
> +          (add-after 'install 'symlink
> +            (lambda* (#:key outputs #:allow-other-keys)
> +              (let ((out (assoc-ref outputs "out")))
> +                (mkdir-p (string-append out "/bin"))
> +                (for-each (lambda (link)
> +                            (symlink
> +                             (string-append out "/libexec/popf/" (cdr link))
> +                             (string-append out "/bin/" (car link))))
> +                          '(("popf" . "popf") ("VAL" . "validate")))))))))
> +    (inputs (list cbc flex))
> +    (native-inputs (list flex bison perl))
> +    (home-page "https://github.com/fmrico/popf";)
> +    (synopsis "Forward-chaining temporal planner")
> +    (description "This package contains an implementation of the @acronym{POPF,
> +Partial Order Planning Forwards} planner described in @cite{Forward-Chaining
> +Partial Order Planning}, that has been updated to compile with newer C++
> +compilers.")
> +    (license license:gpl2+)))
> +
>  (define-public gmsh
>    (package
>      (name "gmsh")
>
> base-commit: 8d6b3dd0b863ccada887da8cd347727dd04cb456
> prerequisite-patch-id: 2c53125d93acdbe9e68218b2015414f5435e7c92
> -- 
> 2.41.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH] gnu: Add popf.
>
>
>
>
> Date: 
>
> Fri, 27 Oct 2023 16:40:11 +0200
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> Am Donnerstag, dem 19.10.2023 um 09:30 +0200 schrieb Liliana Marie
> Prikler:
> > * gnu/packages/maths.scm (popf): New variable.
> > ---
> Pushed.
>
>
> --- End Message ---