diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-03-04 23:16:17 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-03-04 23:16:17 +0100 |
| commit | ebb7cf9e21060105d9950dd5142c0eb918083666 (patch) | |
| tree | 36c1607b80d92e27fb9d09029d1d3b57a1fd5065 /gnu/packages/opencog.scm | |
| parent | 0b870f7915f5da43758753fd088a22033936dc50 (diff) | |
| parent | c2d7e800e6788277bc56f31d5836f9d507dc1506 (diff) | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/opencog.scm')
| -rw-r--r-- | gnu/packages/opencog.scm | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gnu/packages/opencog.scm b/gnu/packages/opencog.scm index 6484c10dce..84e387f85d 100644 --- a/gnu/packages/opencog.scm +++ b/gnu/packages/opencog.scm @@ -114,8 +114,8 @@ features not otherwise available.") (define-public cogserver ;; There are no releases. - (let ((commit "c8ad85fef446819e6bd711f0791887a5aa6a41f9") - (revision "1")) + (let ((commit "ec5f3b9590db0f6a085b5d0320f5d3710e0f1635") + (revision "2")) (package (name "cogserver") (version (git-version "0" revision commit)) @@ -127,11 +127,10 @@ features not otherwise available.") (file-name (git-file-name name version)) (sha256 (base32 - "0flwl2cbmnj7kjcx8vwk7rbhsp2si0a51ci0hx88a3xx1f76cp3f")))) + "1h0vcxb6n5dc654xqinqcxc7dxwcs6bsywgir8rhrqiykk760mzl")))) (build-system cmake-build-system) (arguments - `(#:tests? #f ; See https://github.com/opencog/cogserver/issues/24 - #:test-target "tests" + `(#:test-target "tests" #:configure-flags (list (string-append "-DGUILE_INCLUDE_DIR=" (assoc-ref %build-inputs "guile") |