diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2022-08-14 17:52:01 +0300 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2022-08-14 17:58:00 +0300 |
commit | 360bf760bdf8dc04918e7962d6a2c3797989ae4b (patch) | |
tree | 32ec1246b9c8fb3aabf915285783e8e9b1cf99dc /gnu/packages/admin.scm | |
parent | f9666e40d3d003b2c8d3f4f70d64069c1752704e (diff) | |
download | guix-patches-360bf760bdf8dc04918e7962d6a2c3797989ae4b.tar guix-patches-360bf760bdf8dc04918e7962d6a2c3797989ae4b.tar.gz |
gnu: pies: Remove pre-generated files.
* gnu/packages/admin.scm (pies)[source]: Add snippet to remove
pre-generated files.
[native-inputs]: Add bison, flex.
Diffstat (limited to 'gnu/packages/admin.scm')
-rw-r--r-- | gnu/packages/admin.scm | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gnu/packages/admin.scm b/gnu/packages/admin.scm index 10d4883af2..35d3b53f24 100644 --- a/gnu/packages/admin.scm +++ b/gnu/packages/admin.scm @@ -792,7 +792,16 @@ memory, disks, network and processes. It's a Python port and continuation of version ".tar.bz2")) (sha256 (base32 - "0v0xcq0mfil440xq2pa5mjkyva5c9ahqda54z5w2ksl2d78v8a35")))) + "0v0xcq0mfil440xq2pa5mjkyva5c9ahqda54z5w2ksl2d78v8a35")) + (snippet + #~(begin + (use-modules (guix build utils)) + (for-each delete-file + (append + ;; Generated by flex. + (find-files "gres/src" "lex\\.c$") + ;; Generated by bison. + (find-files "gres/src" "-gram\\.[ch]$"))))))) (build-system gnu-build-system) (arguments '(#:phases (modify-phases %standard-phases @@ -804,6 +813,7 @@ memory, disks, network and processes. It's a Python port and continuation of (substitute* '("src/progman.c" "src/comp.c") (("\"/bin/sh\"") (string-append "\"" bash "/bin/sh\""))))))))) + (native-inputs (list bison flex)) (home-page "https://www.gnu.org.ua/software/pies/") (synopsis "Program invocation and execution supervisor") (description |