GNU bug report logs - #64891
[PATCH] gnu: Add hare

Previous Next

Full log

View this message in rfc822 format

From: "(" <paren <at> disroot.org>
To: Ekaitz Zarraga <ekaitz <at> elenq.tech>
Cc: 64891 <at> debbugs.gnu.org
Subject: [bug#64891] [PATCH] gnu: Add hare
Date: Fri, 28 Jul 2023 16:08:15 +0100

Oh, also:

Ekaitz Zarraga <ekaitz <at> elenq.tech> writes:
> +      (arguments
> +        `(#:make-flags `("HARECACHE=./cache"
> +                         ,(string-append "PREFIX=" (assoc-ref %outputs "out")))
> +          #:phases
> +          (modify-phases %standard-phases
> +            (add-before 'configure 'configure-make
> +              (lambda _
> +                ;; NOTE: We are not really using this because overwriting it via
> +                ;; `make-flags` is way easier with our tooling.
> +                ;; Maybe we should?
> +                (copy-file "config.example.mk" "config.mk")))
> +            (delete 'configure))))

You'll probably want to add this just after this point:

  (native-search-paths
   (list (search-path-specification
          (variable "HAREPATH")
          (files (list "src/hare/stdlib" "src/hare/third-party")))))

  -- (

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.