gnu: Add polkit.
[jackhill/guix/guix.git] / gnu / packages / scheme.scm
CommitLineData
e117772d 1;;; GNU Guix --- Functional package management for GNU
7fe492e8 2;;; Copyright © 2013, 2014 Ludovic Courtès <ludo@gnu.org>
e117772d
LC
3;;;
4;;; This file is part of GNU Guix.
5;;;
6;;; GNU Guix is free software; you can redistribute it and/or modify it
7;;; under the terms of the GNU General Public License as published by
8;;; the Free Software Foundation; either version 3 of the License, or (at
9;;; your option) any later version.
10;;;
11;;; GNU Guix is distributed in the hope that it will be useful, but
12;;; WITHOUT ANY WARRANTY; without even the implied warranty of
13;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14;;; GNU General Public License for more details.
15;;;
16;;; You should have received a copy of the GNU General Public License
17;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
18
1ffa7090 19(define-module (gnu packages scheme)
59a43334 20 #:use-module (gnu packages)
e117772d
LC
21 #:use-module (guix licenses)
22 #:use-module (guix packages)
23 #:use-module (guix download)
24 #:use-module (guix build-system gnu)
1ffa7090
LC
25 #:use-module (gnu packages m4)
26 #:use-module (gnu packages multiprecision)
27 #:use-module (gnu packages emacs)
28 #:use-module (gnu packages texinfo)
3e778ad3 29 #:use-module (gnu packages elf)
e6e82f62 30 #:use-module (gnu packages which)
cf53ecf5
LC
31 #:use-module (gnu packages pkg-config)
32 #:use-module (gnu packages avahi)
33 #:use-module (gnu packages libphidget)
30645251 34 #:use-module (gnu packages glib)
9d3c4dae 35 #:use-module (gnu packages gtk)
30645251 36 #:use-module (gnu packages libffi)
e55354b8 37 #:use-module (gnu packages image)
e117772d
LC
38 #:use-module (ice-9 match))
39
a0efb39a 40(define (mit-scheme-source-directory system version)
ecb26c10
AE
41 (string-append "mit-scheme-"
42 (if (or (string-prefix? "x86_64" system)
a0efb39a 43 (string-prefix? "i686" system))
ecb26c10
AE
44 ""
45 "c-")
46 version))
47
e117772d
LC
48(define-public mit-scheme
49 (package
50 (name "mit-scheme")
6c4a2884 51 (version "9.2")
e117772d
LC
52 (source #f) ; see below
53 (build-system gnu-build-system)
54 (arguments
55 `(#:tests? #f ; no "check" target
56 #:phases
57 (alist-replace
58 'unpack
59 (lambda* (#:key inputs #:allow-other-keys)
60 (and (zero? (system* "tar" "xzvf"
61 (assoc-ref inputs "source")))
a0efb39a
LC
62 (chdir ,(mit-scheme-source-directory (%current-system)
63 version))
e117772d
LC
64 (begin
65 ;; Delete these dangling symlinks since they break
66 ;; `patch-shebangs'.
67 (for-each delete-file
68dddcad
AE
68 (append '("src/lib/shim-config.scm")
69 (find-files "src/lib/lib" "\\.so$")
70 (find-files "src/lib" "^liarc-")
71 (find-files "src/compiler" "^make\\.")))
e117772d
LC
72 (chdir "src")
73 #t)))
74 (alist-replace
75 'build
76 (lambda* (#:key system outputs #:allow-other-keys)
77 (let ((out (assoc-ref outputs "out")))
78 (if (or (string-prefix? "x86_64" system)
79 (string-prefix? "i686" system))
80 (zero? (system* "make" "compile-microcode"))
81 (zero? (system* "./etc/make-liarc.sh"
82 (string-append "--prefix=" out))))))
83 %standard-phases))))
84 (inputs
85 `(;; TODO: Build doc when TeX Live is available.
86 ;; ("automake" ,automake)
87 ;; ("texlive-core" ,texlive-core)
88 ("texinfo" ,texinfo)
89 ("m4" ,m4)
90
91 ("source"
dd6b9a37
LC
92
93 ;; MIT/GNU Scheme is not bootstrappable, so it's recommended to
94 ;; compile from the architecture-specific tarballs, which contain
95 ;; pre-built binaries. It leads to more efficient code than when
96 ;; building the tarball that contains generated C code instead of
97 ;; those binaries.
98 ,(origin
99 (method url-fetch)
100 (uri (string-append "mirror://gnu/mit-scheme/stable.pkg/"
101 version "/mit-scheme-"
dd6b9a37 102 (match (%current-system)
ecb26c10
AE
103 ("x86_64-linux"
104 (string-append version "-x86-64"))
105 ("i686-linux"
106 (string-append version "-i386"))
107 (_
108 (string-append "c-" version)))
dd6b9a37
LC
109 ".tar.gz"))
110 (sha256
111 (match (%current-system)
112 ("x86_64-linux"
113 (base32
6c4a2884 114 "1skzxxhr0iq96bf0j5m7mvf3i4sppfyfa6gpqn34mwgkw1fx8274"))
dd6b9a37
LC
115 ("i686-linux"
116 (base32
6c4a2884 117 "1fmlpnhf5a75db93phajh4ysbdgrgl72v45lk3kznriprl0a7jc6"))
dd6b9a37
LC
118 (_
119 (base32
6c4a2884 120 "0w5ib5vsidihb4hb6fma3sp596ykr8izagm57axvgd6lqzwicsjg"))))))))
75af27f7
LC
121
122 ;; Fails to build on MIPS, see <http://bugs.gnu.org/18221>.
7491edaf 123 (supported-systems (delete "mips64el-linux" %supported-systems))
75af27f7 124
e117772d 125 (home-page "http://www.gnu.org/software/mit-scheme/")
f50d2669 126 (synopsis "Scheme implementation with integrated editor and debugger")
e117772d 127 (description
79c311b8 128 "GNU/MIT Scheme is an implementation of the Scheme programming
a22dc0c4
LC
129language. It provides an interpreter, a compiler and a debugger. It also
130features an integrated Emacs-like editor and a large runtime library.")
e117772d
LC
131 (license gpl2+)))
132
133(define-public bigloo
134 (package
135 (name "bigloo")
7fe492e8 136 (version "4.1a")
e117772d
LC
137 (source (origin
138 (method url-fetch)
139 (uri (string-append "ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo"
140 version ".tar.gz"))
141 (sha256
142 (base32
7fe492e8 143 "170q7nh08n4v20xl81fxb0xcdxphqqacfa643hsa8i2ar6pki04c"))
01eafd38 144 (patches (list (search-patch "bigloo-gc-shebangs.patch")))))
e117772d
LC
145 (build-system gnu-build-system)
146 (arguments
01eafd38 147 `(#:test-target "test"
e117772d
LC
148 #:phases (alist-replace
149 'configure
150 (lambda* (#:key outputs #:allow-other-keys)
151
152 (substitute* "configure"
153 (("^shell=.*$")
154 (string-append "shell=" (which "bash") "\n")))
155
6e1c4093
LC
156 ;; Since libgc's pthread redirects are used, we end up
157 ;; using libgc symbols, so we must link against it.
158 ;; Reported on 2013-06-25.
159 (substitute* "api/pthread/src/Makefile"
160 (("^EXTRALIBS[[:blank:]]*=(.*)$" _ value)
161 (string-append "EXTRALIBS = "
162 (string-trim-right value)
163 " -l$(GCLIB)_fth-$(RELEASE)"
164 " -Wl,-rpath=" (assoc-ref outputs "out")
165 "/lib/bigloo/" ,version)))
166
e117772d 167 ;; Those variables are used by libgc's `configure'.
e858326a
LC
168 (setenv "SHELL" (which "sh"))
169 (setenv "CONFIG_SHELL" (which "sh"))
170
171 ;; ... but they turned out to be overridden later, so work
172 ;; around that.
173 (substitute* (find-files "gc" "^configure-gc")
174 (("sh=/bin/sh")
175 (string-append "sh=" (which "sh"))))
e117772d
LC
176
177 ;; The `configure' script doesn't understand options
178 ;; of those of Autoconf.
179 (let ((out (assoc-ref outputs "out")))
180 (zero?
181 (system* "./configure"
182 (string-append "--prefix=" out)
7fe492e8
LC
183 ;; FIXME: Currently fails, see
184 ;; <http://article.gmane.org/gmane.lisp.scheme.bigloo/6126>.
185 ;; "--customgc=no" ; use our libgc
e117772d
LC
186 (string-append"--mv=" (which "mv"))
187 (string-append "--rm=" (which "rm"))))))
188 (alist-cons-after
e858326a
LC
189 'install 'install-emacs-modes
190 (lambda* (#:key outputs #:allow-other-keys)
191 (let* ((out (assoc-ref outputs "out"))
192 (dir (string-append out "/share/emacs/site-lisp")))
193 (zero? (system* "make" "-C" "bmacs" "all" "install"
194 (string-append "EMACSBRAND=emacs24")
195 (string-append "EMACSDIR=" dir)))))
196 %standard-phases))))
e117772d 197 (inputs
10879c4e 198 `(("emacs" ,emacs)
cf53ecf5
LC
199
200 ;; Optional APIs for which Bigloo has bindings.
201 ("avahi" ,avahi)
202 ("libphidget" ,libphidget)))
203 (native-inputs
204 `(("pkg-config" ,pkg-config)))
10879c4e
LC
205 (propagated-inputs
206 `(("gmp" ,gmp))) ; bigloo.h refers to gmp.h
e117772d 207 (home-page "http://www-sop.inria.fr/indes/fp/Bigloo/")
35b9e423 208 (synopsis "Efficient Scheme compiler")
e117772d
LC
209 (description
210 "Bigloo is a Scheme implementation devoted to one goal: enabling
211Scheme based programming style where C(++) is usually
212required. Bigloo attempts to make Scheme practical by offering
213features usually presented by traditional programming languages
214but not offered by Scheme and functional programming. Bigloo
215compiles Scheme modules. It delivers small and fast stand alone
216binary executables. Bigloo enables full connections between
14e72a18 217Scheme and C programs and between Scheme and Java programs.")
e117772d 218 (license gpl2+)))
e6e82f62
LC
219
220(define-public hop
221 (package
222 (name "hop")
223 (version "2.4.0")
224 (source (origin
225 (method url-fetch)
226 (uri (string-append "ftp://ftp-sop.inria.fr/indes/fp/Hop/hop-"
227 version ".tar.gz"))
228 (sha256
229 (base32
01eafd38
LC
230 "1v2r4ga58kk1sx0frn8qa8ccmjpic9csqzpk499wc95y9c4b1wy3"))
231 (patches (list (search-patch "hop-bigloo-4.0b.patch")))))
e6e82f62
LC
232 (build-system gnu-build-system)
233 (arguments
d8707db0
LC
234 '(#:phases
235 (alist-replace
236 'configure
237 (lambda* (#:key inputs outputs #:allow-other-keys)
238 (let ((out (assoc-ref outputs "out")))
239 (zero?
240 (system* "./configure"
72a0c950 241 (string-append "--prefix=" out)))))
d8707db0
LC
242 (alist-cons-after
243 'strip 'patch-rpath
244 (lambda* (#:key outputs #:allow-other-keys)
245 ;; Patch the RPATH of every installed library to point to $out/lib
246 ;; instead of $TMPDIR. Note that "patchelf --set-rpath" produces
247 ;; invalid binaries when used before stripping.
248 (let ((out (assoc-ref outputs "out"))
249 (tmpdir (getcwd)))
250 (every (lambda (lib)
251 (let* ((in (open-pipe* OPEN_READ "patchelf"
252 "--print-rpath" lib))
253 (rpath (read-line in)))
254 (and (zero? (close-pipe in))
255 (let ((rpath* (regexp-substitute/global
256 #f (regexp-quote tmpdir) rpath
257 'pre out 'post)))
258 (or (equal? rpath rpath*)
259 (begin
260 (format #t "~a: changing RPATH from `~a' to `~a'~%"
261 lib rpath rpath*)
262 (zero?
263 (system* "patchelf" "--set-rpath"
264 rpath* lib))))))))
265 (append (find-files (string-append out "/bin")
266 ".*")
267 (find-files (string-append out "/lib")
268 "\\.so$")))))
269 %standard-phases))
270 #:tests? #f ; no test suite
271 #:modules ((guix build gnu-build-system)
272 (guix build utils)
273 (ice-9 popen)
274 (ice-9 regex)
275 (ice-9 rdelim)
276 (srfi srfi-1))))
e6e82f62 277 (inputs `(("bigloo" ,bigloo)
d8707db0 278 ("which" ,which)
01eafd38 279 ("patchelf" ,patchelf)))
e6e82f62 280 (home-page "http://hop.inria.fr/")
9e771e3b 281 (synopsis "Multi-tier programming language for the Web 2.0")
e6e82f62
LC
282 (description
283 "HOP is a multi-tier programming language for the Web 2.0 and the
284so-called diffuse Web. It is designed for programming interactive web
285applications in many fields such as multimedia (web galleries, music players,
286...), ubiquitous and house automation (SmartPhones, personal appliance),
287mashups, office (web agendas, mail clients, ...), etc.")
288 (license gpl2+)))
8cc9e7f9
LC
289
290(define-public chicken
291 (package
292 (name "chicken")
293 (version "4.8.0.3")
294 (source (origin
295 (method url-fetch)
296 (uri (string-append "http://code.call-cc.org/releases/4.8.0/chicken-"
297 version ".tar.gz"))
298 (sha256
299 (base32
300 "1hwrnc2dhgbnz3mlpcb4qvg76kwsfzqylw24gxyy91jmygk1853a"))))
301 (build-system gnu-build-system)
302 (arguments
303 `(#:modules ((guix build gnu-build-system)
304 (guix build utils)
305 (srfi srfi-1))
306
307 ;; No `configure' script; run "make check" after "make install" as
308 ;; prescribed by README.
309 #:phases (alist-cons-after
310 'install 'check
311 (assoc-ref %standard-phases 'check)
312 (fold alist-delete %standard-phases
313 '(configure check)))
314
315 #:make-flags (let ((out (assoc-ref %outputs "out")))
316 (list "PLATFORM=linux"
317 (string-append "PREFIX=" out)
318 (string-append "VARDIR=" out "/var/lib")))
319
320 ;; Parallel builds are not supported, as noted in README.
321 #:parallel-build? #f))
322 (home-page "http://www.call-cc.org/")
323 (synopsis "R5RS Scheme implementation that compiles native code via C")
324 (description
325 "CHICKEN is a compiler for the Scheme programming language. CHICKEN
326produces portable and efficient C, supports almost all of the R5RS Scheme
2c4b49ed 327language standard, and includes many enhancements and extensions.")
8cc9e7f9 328 (license bsd-3)))
f7ce90e7
LC
329
330(define-public scheme48
331 (package
332 (name "scheme48")
333 (version "1.9")
334 (source (origin
335 (method url-fetch)
336 (uri (string-append "http://s48.org/" version
337 "/scheme48-" version ".tgz"))
338 (sha256
339 (base32
01eafd38
LC
340 "0rw2lz5xgld0klvld292ds6hvfk5l12vskzgf1hhwjdpa38r3fnw"))
341 (patches (list (search-patch "scheme48-tests.patch")))))
f7ce90e7 342 (build-system gnu-build-system)
f7ce90e7
LC
343 (home-page "http://s48.org/")
344 (synopsis "Scheme implementation using a bytecode interpreter")
345 (description
346 "Scheme 48 is an implementation of Scheme based on a byte-code
347interpreter and is designed to be used as a testbed for experiments in
348implementation techniques and as an expository tool.")
349
350 ;; Most files are BSD-3; see COPYING for the few exceptions.
351 (license bsd-3)))
30645251
LC
352
353(define-public racket
354 (package
355 (name "racket")
356 (version "5.3.4")
357 (source (origin
358 (method url-fetch)
359 (uri (list (string-append "http://download.racket-lang.org/installers/"
360 version "/racket/racket-" version
361 "-src-unix.tgz")
362 (string-append
363 "http://mirror.informatik.uni-tuebingen.de/mirror/racket/"
364 version "/racket/racket-" version "-src-unix.tgz")))
365 (sha256
366 ;; XXX: Used to be 1xhnx3yd74zrvn6sfcqmk57kxj51cwvm660dwiaxr1qxnm5lq0v7.
367 (base32 "0yrdmpdvzf092869y6zjjjxl6j2kypgiv7qrfkv7lj8w01pbh7sd"))))
368 (build-system gnu-build-system)
369 (arguments
370 '(#:phases
371 (let* ((gui-libs
372 (lambda (inputs)
9d3c4dae
LC
373 (define (lib input)
374 (string-append (assoc-ref inputs input) "/lib"))
375
376 (list (lib "glib")
377 (lib "cairo")
378 (lib "pango")
379 (lib "libjpeg")
380 (lib "gtk")
381 (lib "gdk-pixbuf")))))
30645251
LC
382 (alist-cons-before
383 'configure 'pre-configure
384 (lambda* (#:key inputs #:allow-other-keys)
385 (chdir "src")
386
387 ;; The GUI libs are dynamically opened through the FFI, so they
388 ;; must be in the loader's search path.
389 (setenv "LD_LIBRARY_PATH" (string-join (gui-libs inputs) ":")))
390 (alist-cons-after
391 'unpack 'patch-/bin/sh
392 (lambda _
393 (substitute* "collects/racket/system.rkt"
394 (("/bin/sh") (which "sh"))))
395 (alist-cons-after
396 'install 'wrap-programs
397 (lambda* (#:key inputs outputs #:allow-other-keys)
398 (let ((out (assoc-ref outputs "out")))
399 (define (wrap prog)
400 (wrap-program prog
401 `("LD_LIBRARY_PATH" ":" prefix
402 ,(gui-libs inputs))))
403
404 (with-directory-excursion (string-append out "/bin")
405 (for-each wrap
406 (list "gracket" "drracket" "slideshow" "mred"))
407 #t)))
408 %standard-phases))))
409 #:tests? #f ; XXX: how to run them?
410 ))
411 (inputs `(("libffi" ,libffi)
412 ("glib" ,glib) ; for DrRacket
413 ("cairo" ,cairo)
414 ("pango" ,pango)
9d3c4dae
LC
415 ("libjpeg" ,libjpeg-8)
416 ("gdk-pixbuf" ,gdk-pixbuf)
afc75310 417 ("gtk" ,gtk+-2)))
30645251
LC
418 (home-page "http://racket-lang.org")
419 (synopsis "Implementation of Scheme and related languages")
420 (description
421 "Racket is an implementation of the Scheme programming language (R5RS and
422R6RS) and related languages, such as Typed Racket. It features a compiler and
423a virtual machine with just-in-time native compilation, as well as a large set
424of libraries.")
f47638a3
LC
425 (license lgpl2.0+)
426
427 ;; Fails to build on MIPS with "address or size is not OS PAGE ALIGNED".
428 ;; See <http://hydra.gnu.org/build/121775>.
429 (supported-systems (delete "mips64el-linux" %supported-systems))))