Bump the version to 0.7 - immutables - A mirror of https://github.com/MagicStack/immutables with Debian packaging in additional branches

diff options

author	Yury Selivanov <yury@magic.io>	2018-11-20 14:28:59 -0500
committer	Yury Selivanov <yury@magic.io>	2018-11-20 14:28:59 -0500
commit	5a9c2fa8131819523403a6b7a92ad0918f1c595d (patch)
tree	41f766d33bc76d8bb8d600b15ce9048753530809 /pytest.ini
parent	a617e2f24c994a7c57e4ed19dea6f95a95f0639a (diff)
download	immutables-0.7.tar.gz immutables-0.7.zip

Bump the version to 0.7v0.7

Diffstat (limited to 'pytest.ini')

0 files changed, 0 insertions, 0 deletions

orted architectures. (supported-systems (fold delete %supported-systems '("armhf-linux" "mips64el-linux"))))) (define-public swi-prolog (package (name "swi-prolog") (version "9.3.8") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/SWI-Prolog/swipl-devel") (recursive? #t) ; TODO: Determine if this can be split out. (commit (string-append "V" version)))) (file-name (git-file-name name version)) (sha256 (base32 "1q2dg7n3vf0qc9nxppbcqgbzj4rcjw8sv2vbg9s6i4ixxlsxr5y3")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t #:configure-flags ,#~(list #$@(if (%current-target-system) ;; Set this manually, otherwise CMake would need to ;; run a cross-compiled binary, which it can't do. ;; These values were found on a Linux system. #~("-DBSD_SIGNALS=1" "-DQSORT_R_GNU=1" ;; If absent, the non-existent 'cc' is used. "-DCMAKE_HOST_CC=gcc" ;; swi-prolog needs a native copy of itself for ;; cross-compilation. "-DSWIPL_NATIVE_FRIEND=/nowhere" (string-append "-DPROG_SWIPL=" #+(this-package-native-input "swi-prolog") "/bin/swipl")) #~()) "-DINSTALL_DOCUMENTATION=ON" "-DSWIPL_INSTALL_IN_LIB=OFF") ; FIXME: Breaks RUNPATH validation. #:phases ,#~(modify-phases %standard-phases ;; XXX: Delete the test phase that attempts to write to the ;; immutable store. (add-after 'unpack 'delete-failing-tests (lambda _ (substitute* "src/CMakeLists.txt" ((" save") "")) (substitute* "src/test.pl" (("testdir\$'Tests/save'\$.") "")) (delete-file-recursively "src/Tests/save"))) #$@(if (%current-target-system) ;; Prevent man_server.pl and swipl-lfr.pl from keeping a ;; reference to the native swi-prolog. ;; FIXME: libswipl.so and swipl-ld keep a reference to the ;; cross-compiler. #~((add-after 'install 'fix-cross-references (lambda _ (define bin `(,(string-append #$output "/bin"))) (for-each (lambda (file) (patch-shebang file bin)) (find-files #$output ".pl$"))))) #~())))) (native-inputs `(,@(if (%current-target-system) (begin (unless (equal? (target-64bit?) (target-64bit? (%current-system))) (error "swi-prolog requires --system and --target to have \ the same word size")) `(("swi-prolog" ,this-package))) '()) ("texinfo" ,texinfo) ("perl" ,perl) ("pkg-config" ,pkg-config))) (inputs `(("bash-minimal" ,bash-minimal) ;for some scripts in 'lib' ("zlib" ,zlib) ("gmp" ,gmp) ("readline" ,readline) ("libarchive" ,libarchive) ("libunwind" ,libunwind) ("libjpeg" ,libjpeg-turbo) ("libxcrypt" ,libxcrypt) ("libxft" ,libxft) ("fontconfig" ,fontconfig) ("openssl" ,openssl))) (home-page "https://www.swi-prolog.org/") (synopsis "ISO/Edinburgh-style Prolog interpreter") (description "SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it.") (license license:bsd-2))) (define-public trealla (package (name "trealla") (version "2.55.32") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/trealla-prolog/trealla") (commit (string-append "v" version)))) (sha256 (base32 "0mx87i03x8qxsrlsvxpazpn28jna48sgjla78sgjl3lr04pw9z1j")) (file-name (git-file-name name version)))) (build-system gnu-build-system) (native-inputs (append (if (supported-package? valgrind) (list valgrind) '()) (list xxd))) (inputs (list libffi openssl readline)) (arguments (list #:make-flags #~(list (string-append "CC=" #$(cc-for-target))) #:test-target (if (this-package-native-input "valgrind") "check" "test") #:phases #~(modify-phases %standard-phases ;; Upstream does not use a configure script. (delete 'configure) (replace 'install ;; Upstream does not provide an install target. (lambda _ (install-file "tpl" (string-append #$output "/bin"))))))) (home-page "https://trealla-prolog.org/") (synopsis "Compact and efficient Prolog interpreter") (description "This package provides a compact and efficient Prolog interpreter with ISO Prolog aspirations.") (license (list license:expat ;; The tiny-regex-c library uses the Unlicense license. license:unlicense)))) (define-public logtalk (package (name "logtalk") (version "3.80.0") (source (origin (method url-fetch) (uri (string-append "https://logtalk.org/files/logtalk-" version ".tar.bz2")) (sha256 (base32 "0g4cc0qv921234548k3rkv1sdayicaa6zzh15vgn82ri9apwm3nh")))) (build-system gnu-build-system) (arguments (list #:tests? #f ;no tests #:phases #~(modify-phases %standard-phases (delete 'configure) ;no configure script and Makefile (delete 'build) (replace 'install (lambda* (#:key outputs #:allow-other-keys) (mkdir #$output) (invoke "./scripts/install.sh" "-p" #$output)))))) (native-search-paths (list (search-path-specification (variable "LOGTALKHOME") (separator #f) ;single valued (files '("share/logtalk"))))) (home-page "https://logtalk.org/") (synopsis "Object-oriented logic programming language") (description "Logtalk is a declarative object-oriented logic programming language that extends and leverages the Prolog language with a feature set suitable for programming in the large. As a multi-paradigm language, Logtalk includes support for both prototypes and classes, protocols (interfaces), categories (components and hot-patching), event-driven programming, coinduction, lambda expressions, and high-level multi-threading programming.") ;; Most are under Apache License 2.0, some contributed libraries and ports are ;; under other licenses. (license (list license:asl2.0 license:artistic2.0 license:bsd-2 license:bsd-3 license:cc0 license:expat license:gpl2+ license:osl2.1))))


context:
space:
mode: