aboutsummary
aboutsummaryrefslogtreecommitdiff
path: root/gnu/installer/parted.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/installer/parted.scm')
0 files changed, 0 insertions, 0 deletions
chdir "src")))))) (home-page "https://www.gnu.org/software/gprolog/") (synopsis "Prolog compiler") (description "GNU Prolog is a standards-compliant Prolog compiler with constraint solving over finite domains. It accepts Prolog+ constraint programs and produces a compiled, native binary which can function in a stand-alone manner. It also features an interactive interpreter.") (license (list license:gpl2+ license:lgpl3+)) ;; See 'configure' for the list of supported 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.63.9") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/trealla-prolog/trealla") (commit (string-append "v" version)))) (sha256 (base32 "1jab7s8dnass47lpb21kmq054n13szw65crq2759akli4bnsfi39")) (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) (add-before 'build 'patch-package-version (lambda _ (substitute* "Makefile" (("\\$\\(shell git describe --abbrev=4 --dirty --always --tags\\)") (string-append "v" #$version))))) (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))))