diff options
Diffstat (limited to 'contrib/packages')
-rw-r--r-- | contrib/packages/guix/guix-env-gillmann.scm | 40 |
1 files changed, 29 insertions, 11 deletions
diff --git a/contrib/packages/guix/guix-env-gillmann.scm b/contrib/packages/guix/guix-env-gillmann.scm index 4b977c1bb..3951620e8 100644 --- a/contrib/packages/guix/guix-env-gillmann.scm +++ b/contrib/packages/guix/guix-env-gillmann.scm | |||
@@ -64,6 +64,8 @@ | |||
64 | (gnu packages video) | 64 | (gnu packages video) |
65 | (gnu packages web) | 65 | (gnu packages web) |
66 | (gnu packages xiph) | 66 | (gnu packages xiph) |
67 | (ports app-text mandoc mandoc) | ||
68 | (ports app-text texi2mdoc texi2mdoc) | ||
67 | ((guix licenses) #:prefix license:)) | 69 | ((guix licenses) #:prefix license:)) |
68 | 70 | ||
69 | (define %source-dir (current-source-directory)) | 71 | (define %source-dir (current-source-directory)) |
@@ -119,17 +121,20 @@ | |||
119 | ("automake" ,automake) | 121 | ("automake" ,automake) |
120 | ("gnu-gettext" ,gnu-gettext) | 122 | ("gnu-gettext" ,gnu-gettext) |
121 | ("which" ,which) | 123 | ("which" ,which) |
124 | ("mandoc" ,mandoc) | ||
125 | ("texi2mdoc" ,texi2mdoc) | ||
122 | ("texinfo" ,texinfo-5) ; Debian stable: 5.2 | 126 | ("texinfo" ,texinfo-5) ; Debian stable: 5.2 |
123 | ("libtool" ,libtool))) | 127 | ("libtool" ,libtool))) |
124 | (outputs '("out" "debug")) | 128 | (outputs '("out" "debug")) |
129 | ;;#:configure-flags | ||
130 | ;;(list (string-append "--with-nssdir=" %output "/lib") | ||
131 | ;;"--enable-gcc-hardening" | ||
132 | ;;"--enable-linker-hardening" | ||
133 | ;;;;"--enable-documentation-only") | ||
134 | ;;;"--enable-logging=verbose" | ||
135 | ;;;"CFLAGS=-ggdb -O0") | ||
125 | (arguments | 136 | (arguments |
126 | `(;#:configure-flags | 137 | `(#:configure-flags (list "--enable-section7") |
127 | ;;(list (string-append "--with-nssdir=" %output "/lib") | ||
128 | ;;"--enable-gcc-hardening" | ||
129 | ;;"--enable-linker-hardening" | ||
130 | ;;;;"--enable-documentation-only") | ||
131 | ;;;"--enable-logging=verbose" | ||
132 | ;;;"CFLAGS=-ggdb -O0") | ||
133 | #:phases | 138 | #:phases |
134 | ;; swap check and install phases and set paths to installed bin | 139 | ;; swap check and install phases and set paths to installed bin |
135 | (modify-phases %standard-phases | 140 | (modify-phases %standard-phases |
@@ -140,12 +145,25 @@ | |||
140 | #t)) | 145 | #t)) |
141 | (add-after 'patch-bin-sh 'bootstrap | 146 | (add-after 'patch-bin-sh 'bootstrap |
142 | (lambda _ | 147 | (lambda _ |
143 | (zero? (system* "sh" "bootstrap")))) | 148 | (invoke "sh" "bootstrap"))) |
149 | (add-after 'build 'install-section7 | ||
150 | (lambda _ | ||
151 | (with-directory-excursion "doc/documentation" | ||
152 | (invoke "make" "gnunet-c-tutorial.7") | ||
153 | (invoke "make" "gnunet-documentation.7") | ||
154 | (mkdir-p (string-append (assoc-ref %outputs "out") | ||
155 | "/share/man/man7")) | ||
156 | (copy-file "../man/gnunet-c-tutorial.7" | ||
157 | (string-append (assoc-ref %outputs "out") | ||
158 | "/share/man/man7/gnunet-c-tutorial.7")) | ||
159 | (copy-file "../man/gnunet-documentation.7" | ||
160 | (string-append (assoc-ref %outputs "out") | ||
161 | "/share/man/man7/gnunet-documentation.7"))))) | ||
144 | ;;(add-before 'build 'chdir | 162 | ;;(add-before 'build 'chdir |
145 | ;; (lambda _ | 163 | ;; (lambda _ |
146 | ;; (chdir "doc/documentation"))) | 164 | ;; (chdir "doc/documentation"))) |
147 | (delete 'check) | 165 | (delete 'check))))))) |
148 | ;; XXX: https://gnunet.org/bugs/view.php?id=4619 | 166 | ;; XXX: https://gnunet.org/bugs/view.php?id=4619 |
149 | )))))) | 167 | |
150 | 168 | ||
151 | gnunet-dev-env | 169 | gnunet-dev-env |