diff options
| -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 |