diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-06-07 11:54:03 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-06-07 11:54:03 +0200 |
| commit | aeafff536f933b07836b14d089dfc52b0e432ec9 (patch) | |
| tree | 4ede554999f98cf9e19c04098c934db52efae795 /gnu/packages/gprolog.scm | |
| parent | 9dee9e8ffe4650949bd3ad2edf559cf4a33e9e6e (diff) | |
| parent | f82c58539e1f7b9b864e68ea2ab0c6a17c15fbb5 (diff) | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/gprolog.scm')
| -rw-r--r-- | gnu/packages/gprolog.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm index 1d9b9943bc..87c833e947 100644 --- a/gnu/packages/gprolog.scm +++ b/gnu/packages/gprolog.scm @@ -38,7 +38,10 @@ "13miyas47bmijmadm68cbvb21n4s156gjafz7kfx9brk9djfkh0q")))) (build-system gnu-build-system) (arguments - `(#:phases (alist-cons-before + `(#:configure-flags + (list (string-append + "--with-install-dir=" %output "/share/gprolog")) + #:phases (alist-cons-before 'configure 'change-dir-n-fix-shells (lambda _ (chdir "src") |