diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-01-04 14:51:44 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-04 14:51:44 -0600 |
| commit | 235c67341b5373f7d21edfd56a2ff19da4a25efb (patch) | |
| tree | 0e45efb741cb70a975273fbe98c175af80354541 | |
| parent | 5a92e7c9542f60cfe9d932833bbe61d0af7a2860 (diff) | |
gnu: swi-prolog: Modify documentation installation.
* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step
for PDF documentation.
| -rw-r--r-- | gnu/packages/prolog.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index bd89c9ad2f..a85e58e19f 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -103,8 +103,7 @@ manner. It also features an interactive interpreter.") #:tests? #t #:configure-flags (list "-DINSTALL_DOCUMENTATION=ON" - "-DBUILD_PDF_DOCUMENTATION=ON" - "-DSWIPL_INSTALL_IN_LIB=OFF"))) ; FIXME: Breaks RUNPATH validation. + "-DSWIPL_INSTALL_IN_LIB=OFF") ; FIXME: Breaks RUNPATH validation. #:phases (modify-phases %standard-phases ;; XXX: Delete a variety of tests which fail either attempting to |