diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-03-01 14:21:21 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-03-01 14:21:54 +0100 |
| commit | 77cf666b00cedaa41de7aa016d0cee9be436feca (patch) | |
| tree | a239003176db0cc061c171d2de09105f43a8f444 /gnu | |
| parent | 50be0da7bfd5c108697679effeb2a893d2f37598 (diff) | |
gnu: cogserver: Update to 0-2.ec5f3b9.
* gnu/packages/opencog.scm (cogserver): Update to 0-2.ec5f3b9.
[arguments]: Enable tests.
Diffstat (limited to 'gnu')
| -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 c6828d6603..ea6858507e 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") |