Remove updated ocaml packages

Julien LepillerMon Nov 19 23:43:15+0100 2018

8046b7f

Remove updated ocaml packages

more/packages/ocaml.scm

5252 
                 (number->string file-number) "/" name "-" version
5353 
                 ".tar.gz"))
5454 
55-
(define-public ocaml-4.07
56-
  (package
57-
    (inherit ocaml)
58-
    (version "4.07.0")
59-
    (source (origin
60-
              (method url-fetch)
61-
              (uri (string-append
62-
                    "http://caml.inria.fr/pub/distrib/ocaml-"
63-
                    (version-major+minor version)
64-
                    "/ocaml-" version ".tar.xz"))
65-
              (sha256
66-
               (base32
67-
                "03wzkzv6w4rdiiva20g5amz0n4x75swpjl8d80468p6zm8hgfnzl"))))
68-
    (arguments
69-
     `(#:phases
70-
       (modify-phases %standard-phases
71-
         (add-after 'unpack 'patch-/bin/sh-references
72-
           (lambda* (#:key inputs #:allow-other-keys)
73-
             (let* ((sh (string-append (assoc-ref inputs "bash")
74-
                                       "/bin/sh"))
75-
                    (quoted-sh (string-append "\"" sh "\"")))
76-
               (with-fluids ((%default-port-encoding #f))
77-
                 (for-each
78-
                  (lambda (file)
79-
                    (substitute* file
80-
                      (("\"/bin/sh\"")
81-
                       (begin
82-
                         (format (current-error-port) "\
83-
patch-/bin/sh-references: ~a: changing `\"/bin/sh\"' to `~a'~%"
84-
                                 file quoted-sh)
85-
                         quoted-sh))))
86-
                  (find-files "." "\\.ml$"))
87-
                 #t))))
88-
         (replace 'configure
89-
           (lambda* (#:key outputs #:allow-other-keys)
90-
             (let* ((out (assoc-ref outputs "out"))
91-
                    (mandir (string-append out "/share/man")))
92-
               ;; Custom configure script doesn't recognize
93-
               ;; --prefix=<PREFIX> syntax (with equals sign).
94-
               (invoke "./configure"
95-
                       "--prefix" out
96-
                       "--mandir" mandir))
97-
             #t))
98-
         (replace 'build
99-
           (lambda _
100-
             (invoke "make" "-j" (number->string
101-
                                  (parallel-job-count))
102-
                     "world.opt")
103-
             #t))
104-
         (delete 'check)
105-
         (add-after 'install 'check
106-
           (lambda _
107-
             (with-directory-excursion "testsuite"
108-
               (invoke "make" "all"))
109-
             #t)))))))
110-
111-
(define-public ocaml-fix
112-
  (package
113-
    (inherit ocaml)
114-
    (version "4.06.0")
115-
    (source (origin
116-
              (method url-fetch)
117-
              (uri (string-append
118-
                    "http://caml.inria.fr/pub/distrib/ocaml-"
119-
                    (version-major+minor version)
120-
                    "/ocaml-" version ".tar.xz"))
121-
              (sha256
122-
               (base32
123-
                "1dy542yfnnw10zvh5s9qzswliq11mg7l0bcyss3501qw3vwvadhj"))))
124-
    (arguments
125-
     `(#:modules ((guix build gnu-build-system)
126-
                  (guix build utils)
127-
                  (web server))
128-
       #:phases
129-
       (modify-phases %standard-phases
130-
         (add-after 'unpack 'patch-/bin/sh-references
131-
           (lambda* (#:key inputs #:allow-other-keys)
132-
             (let* ((sh (string-append (assoc-ref inputs "bash")
133-
                                       "/bin/sh"))
134-
                    (quoted-sh (string-append "\"" sh "\"")))
135-
               (with-fluids ((%default-port-encoding #f))
136-
                 (for-each
137-
                  (lambda (file)
138-
                    (substitute* file
139-
                      (("\"/bin/sh\"")
140-
                       (begin
141-
                         (format (current-error-port) "\
142-
patch-/bin/sh-references: ~a: changing `\"/bin/sh\"' to `~a'~%"
143-
                                 file quoted-sh)
144-
                         quoted-sh))))
145-
                  (find-files "." "\\.ml$"))
146-
                 #t))))
147-
         (replace 'configure
148-
           (lambda* (#:key outputs #:allow-other-keys)
149-
             (let* ((out (assoc-ref outputs "out"))
150-
                    (mandir (string-append out "/share/man")))
151-
               ;; Custom configure script doesn't recognize
152-
               ;; --prefix=<PREFIX> syntax (with equals sign).
153-
               (invoke "./configure"
154-
                       "--prefix" out
155-
                       "--mandir" mandir))
156-
             #t))
157-
         (replace 'build
158-
           (lambda _
159-
             (invoke "make" "-j1" ;; fails to build otherwise
160-
                     "world.opt")
161-
             #t))
162-
         (delete 'check)
163-
         (add-after 'install 'check
164-
           (lambda _
165-
             (with-directory-excursion "testsuite"
166-
               (invoke "make" "all"))
167-
             #t)))))))
168-
16955 
(define-public proof-general2
17056 
  (package
17157 
    (name "proof-general2")
…
248134 
provers.")
249135 
    (license license:gpl2+)))
250136 
251-
(define-public ocaml-build
252-
  (package
253-
    (name "ocaml-build")
254-
    (version "0.11.0")
255-
    (source (origin
256-
              (method url-fetch)
257-
              (uri (string-append "https://github.com/ocaml/ocamlbuild/archive/"
258-
                                  version ".tar.gz"))
259-
              (file-name (string-append name "-" version ".tar.gz"))
260-
              (sha256
261-
               (base32
262-
                "1vh30731gv1brr4ljfzd6m5lni44ifyb1w8hwir81ff9874fs5qp"))))
263-
    (build-system gnu-build-system)
264-
    (arguments
265-
     `(#:test-target "test"
266-
       #:tests? #f; FIXME: tests fail to find Findlib
267-
       #:make-flags
268-
       (list (string-append "OCAMLBUILD_PREFIX=" (assoc-ref %outputs "out"))
269-
             (string-append "OCAMLBUILD_BINDIR=" (assoc-ref %outputs "out") "/bin")
270-
             (string-append "OCAMLBUILD_LIBDIR=" (assoc-ref %outputs "out") "/lib")
271-
             (string-append "OCAMLBUILD_MANDIR=" (assoc-ref %outputs "out") "/share/man"))
272-
       #:phases
273-
       (modify-phases %standard-phases
274-
         (delete 'bootstrap)
275-
         (delete 'configure)
276-
         ;(replace 'configure
277-
         ;  (lambda* (#:key outputs #:allow-other-keys)
278-
         ;    (let ((out (assoc-ref %outputs "out")))
279-
         ;      (zero? (system* "make" "-f" "configure.make" "all")))))
280-
         (add-before 'build 'findlib-environment
281-
           (lambda* (#:key outputs #:allow-other-keys)
282-
             (let* ((out (assoc-ref outputs "out")))
283-
               (setenv "OCAMLFIND_DESTDIR" (string-append out "/lib/ocaml/site-lib"))
284-
               (setenv "OCAMLFIND_LDCONF" "ignore")
285-
               #t))))))
286-
    (native-inputs
287-
     `(("ocaml" ,ocaml-fix)))
288-
    (home-page "")
289-
    (synopsis "")
290-
    (description "")
291-
    (license license:lgpl2.1+)))
292-
293-
(define-public camlp4-fix
294-
  (package
295-
    (inherit camlp4)
296-
    (name "camlp4")
297-
    (version "4.06+1")
298-
    (source (origin
299-
              (method url-fetch)
300-
              (uri (string-append "https://github.com/ocaml/camlp4/archive/"
301-
								  version ".tar.gz"))
302-
              (file-name (string-append name "-" version ".tar.gz"))
303-
              (sha256
304-
               (base32
305-
			    "08mrp8jjaayv0s50kmhjkafxqykff5dq3073hrl7ylx0km253k5i"))))
306-
    (inputs `(("ocaml" ,ocaml-fix)))
307-
    (native-inputs
308-
     `(("ocaml" ,ocaml-fix)
309-
       ("which" ,which)
310-
       ("build" ,ocaml-build)))))
311-
312-
(define-public ocaml-findlib-fix
313-
  (package
314-
    (inherit ocaml-findlib)
315-
    (version "1.7.3")
316-
    (source (origin
317-
              (method url-fetch)
318-
              (uri (string-append "http://download.camlcity.org/download/findlib-"
319-
                                  version ".tar.gz"))
320-
              (sha256
321-
               (base32
322-
                "12xx8si1qv3xz90qsrpazjjk4lc1989fzm97rsmc4diwla7n15ni"))))
323-
    (arguments
324-
      (substitute-keyword-arguments (package-arguments ocaml-findlib)
325-
        ((#:phases phases)
326-
          `(modify-phases ,phases
327-
            (add-before 'build 'fix-findlib-makefile
328-
              (lambda* (#:key outputs #:allow-other-keys)
329-
                (substitute* "src/findlib/Makefile"
330-
                  (("\\$\\(prefix\\)\\$\\(OCAML_CORE_STDLIB\\)")
331-
                   (string-append (assoc-ref outputs "out") "/lib/ocaml/site-lib")))
332-
                #t))))))
333-
    (native-inputs
334-
     `(("camlp4" ,camlp4-fix)
335-
       ("ocaml" ,ocaml-fix)
336-
       ("m4" ,m4)))))
337-
338-
(define-public camlp5-fix
339-
  (package
340-
    (inherit camlp5)
341-
    (name "camlp5")
342-
    (version "7.03")
343-
    (source (origin
344-
              (method url-fetch)
345-
              (uri (string-append "https://github.com/camlp5/camlp5/archive/rel"
346-
                                  (string-delete #\. version) ".tar.gz"))
347-
              (sha256
348-
               (base32
349-
                "06pj7l75r586gngam7nspd1a13ay7cj2bjh035z64w4fgaahlgf1"))))
350-
    (inputs
351-
     `(("ocaml" ,ocaml-fix)))))
352-
353-
(define-public lablgtk-fix
354-
  (package
355-
    (inherit lablgtk)
356-
    (version "2.18.6")
357-
    (source (origin
358-
              (method url-fetch)
359-
              (uri (ocaml-forge-uri "lablgtk" version 1726))
360-
              (sha256
361-
               (base32
362-
                "1y38fdvswy6hmppm65qvgdk4pb3ghhnvz7n4ialf46340r1s5p2d"))))
363-
    (arguments
364-
     `(#:tests? #f ; no check target
365-
366-
       ;; opt: also install cmxa files
367-
       #:make-flags (list "all" "opt"
368-
                          "OCAMLFIND=ocamlfind"
369-
                          "OCAMLLDCONF=ld.conf"
370-
                          (string-append "FINDLIBDIR="
371-
                                         (assoc-ref %outputs "out")
372-
                                         "/lib/ocaml"))
373-
       ;; Occasionally we would get "Error: Unbound module GtkThread" when
374-
       ;; compiling 'gtkThInit.ml', with 'make -j'.  So build sequentially.
375-
       #:parallel-build? #f
376-
377-
       #:phases
378-
         (modify-phases %standard-phases
379-
           (add-before 'install 'prepare-install
380-
             (lambda* (#:key inputs outputs #:allow-other-keys)
381-
               (let ((out (assoc-ref outputs "out"))
382-
                     (ocaml (assoc-ref inputs "ocaml")))
383-
                 ;; Install into the output and not the ocaml directory.
384-
                 (mkdir-p (string-append out "/lib/ocaml"))
385-
                 (substitute* "config.make"
386-
                   ((ocaml) out))
387-
                 #t))))))
388-
    (home-page "http://lablgtk.forge.ocamlcore.org/")
389-
    (native-inputs
390-
     `(("ocaml" ,ocaml-fix)
391-
       ("build" ,ocaml-build)
392-
       ("camlp4" ,camlp4-fix)
393-
       ("findlib" ,ocaml-findlib-fix)
394-
       ("pkg-config" ,pkg-config)))))
395-
396-
(define-public ocaml-menhir-fix
397-
  (package
398-
    (inherit ocaml-menhir)
399-
    (version "20170607")
400-
    (name "ocaml-menhir-fix")
401-
    (source (origin
402-
              (method url-fetch)
403-
              (uri (string-append
404-
                    "http://gallium.inria.fr/~fpottier/menhir/"
405-
                    "menhir-" version ".tar.gz"))
406-
              (sha256
407-
               (base32
408-
                "0qffci9qxgfabzyalx851q994yykl4n9ylr4vbplsm6is1padjh0"))))
409-
    (inputs
410-
     `(("ocaml" ,ocaml-fix)
411-
       ("ocamlbuild" ,ocaml-build)))))
412-
413-
(define-public ocaml-num
414-
  (package
415-
    (name "ocaml-num")
416-
    (version "1.1")
417-
    (source (origin
418-
              (method url-fetch)
419-
              (uri (string-append "https://github.com/ocaml/num/archive/v"
420-
                                  version ".tar.gz"))
421-
              (file-name (string-append name "-" version ".tar.gz"))
422-
              (sha256
423-
               (base32
424-
                "1xlkd0svc0mgq5s7nrm2rjrsvg15i9wxqkc1kvwjp6sv8vv8bb04"))))
425-
    (build-system ocaml-build-system)
426-
    (arguments
427-
     `(#:ocaml ,ocaml-fix
428-
       #:findlib ,ocaml-findlib-fix
429-
       #:phases
430-
       (modify-phases %standard-phases
431-
         (delete 'configure)
432-
         (add-before 'build 'fix-makefile
433-
           (lambda* (#:key outputs #:allow-other-keys)
434-
             ;; This package supposes we install to the same directory as
435-
             ;; the ocaml package.
436-
             (substitute* "src/META"
437-
               (("\"\\^\"") (string-append "\"" (assoc-ref outputs "out")
438-
                                           "/lib/ocaml/site-lib\"")))
439-
             (substitute* "src/Makefile"
440-
               (("\\) \\$\\(STDLIBDIR\\)")
441-
                (string-append ") " (assoc-ref outputs "out")
442-
                               "/lib/ocaml/site-lib")))
443-
             #t)))))
444-
    (home-page "https://github.com/ocaml/num")
445-
    (synopsis "Arbitrary-precision integer and rational arithmetic")
446-
    (description "OCaml-Num contains the legacy Num library for
447-
arbitrary-precision integer and rational arithmetic that used to be part of
448-
the OCaml core distribution.")
449-
    (license license:lgpl2.1+))); with linking exception
450-
451137 
(define-public coq-8.6
452138 
  (package
453139 
    (inherit coq)
…
461147 
              (sha256
462148 
               (base32
463149 
                "02nm5sn79hrb9fdmkhyclk80jydadf4jcafmr3idwr5h4z56qbms"))))
464-
    ;(native-inputs
465-
    ; `(("ocamlbuild" ,ocaml-build)
466-
    ;   ("hevea" ,hevea)
467-
    ;   ("texlive" ,texlive)))
468-
    ;(inputs
469-
    ; `(("lablgtk" ,lablgtk)
470-
    ;   ("python" ,python-2)
471-
    ;   ("camlp5" ,camlp5)))
472150 
    (arguments
473151 
     `(#:phases
474152 
       (modify-phases %standard-phases
…
511189 
              (sha256
512190 
               (base32
513191 
                "1lkqvs7ayzv5kkg26y837pg0d6r2b5hbjxl71ba93f39kybw69gg"))))
514-
    (native-inputs
515-
     `(("ocamlbuild" ,ocaml-build)
516-
       ("hevea" ,hevea)
517-
       ("texlive" ,texlive)))
518-
    (inputs
519-
     `(("lablgtk" ,lablgtk-fix)
520-
       ("python" ,python-2)
521-
       ("camlp5" ,camlp5-fix)
522-
       ;; ocaml-num was removed from the ocaml package in 4.06.
523-
       ("ocaml-num" ,ocaml-num)))
524192 
    (arguments
525-
     `(#:ocaml ,ocaml-fix
526-
       #:findlib ,ocaml-findlib-fix
527-
       #:phases
528-
       (modify-phases %standard-phases
529-
         (replace 'configure
530-
           (lambda* (#:key outputs #:allow-other-keys)
531-
             (let* ((out (assoc-ref outputs "out"))
532-
                    (mandir (string-append out "/share/man"))
533-
                    (browser "icecat -remote \"OpenURL(%s,new-tab)\""))
534-
               (invoke "./configure"
535-
                       "-prefix" out
536-
                       "-mandir" mandir
537-
                       "-browser" browser
538-
                       "-coqide" "opt"))
539-
             #t))
540-
         (replace 'build
541-
           (lambda* (#:key inputs #:allow-other-keys)
542-
             (substitute* "ide/ideutils.ml"
543-
               (("Bytes.unsafe_to_string read_string") "read_string"))
544-
             (invoke "make" "-j" (number->string
545-
                                  (parallel-job-count))
546-
                     (string-append
547-
                       "USERFLAGS=-I "
548-
                       (assoc-ref inputs "ocaml-num")
549-
                       "/lib/ocaml/site-lib")
550-
                     "world")
551-
             #t))
552-
         (delete 'check)
553-
         (add-after 'install 'check
554-
           (lambda _
555-
             (with-directory-excursion "test-suite"
556-
               ;; These two tests fail.
557-
               ;; This one fails because the output is not formatted as expected.
558-
               (delete-file-recursively "coq-makefile/timing")
559-
               ;; This one fails because we didn't build coqtop.byte.
560-
               (delete-file-recursively "coq-makefile/findlib-package")
561-
               (invoke "make"))
562-
             #t)))))))
563-
564-
(define-public coq-fix
565-
  (package
566-
    (inherit coq)
567-
    (native-inputs
568-
     `(("ocamlbuild" ,ocaml-build)
569-
       ("hevea" ,hevea)
570-
       ("texlive" ,texlive)))
571-
    (inputs
572-
     `(("lablgtk" ,lablgtk-fix)
573-
       ("python" ,python-2)
574-
       ("camlp5" ,camlp5-fix)
575-
       ;; ocaml-num was removed from the ocaml package in 4.06.
576-
       ("ocaml-num" ,ocaml-num)))
577-
    (arguments
578-
     `(#:ocaml ,ocaml-fix
579-
       #:findlib ,ocaml-findlib-fix
580-
       #:phases
193+
     `(#:phases
581194 
       (modify-phases %standard-phases
582195 
         (replace 'configure
583196 
           (lambda* (#:key outputs #:allow-other-keys)
…
628241 
               (base32
629242 
                "03iw9jiwq9jx45gsvp315y3lxr8m9ksppmcjvxs5c23qnky6zqjx"))))
630243 
    (native-inputs
631-
     `(("ocaml-fix" ,ocaml-fix)
244+
     `(("ocaml" ,ocaml)
632245 
       ("coq-8.7" ,coq-8.7)))
633246 
    (inputs
634-
     `(("camlp5-fix" ,camlp5-fix)))))
247+
     `(("camlp5" ,camlp5)))))
635248 
636249 
(define-public ppsimpl
637250 
  (package
…
665278 
       ("compcert" ,compcert)))
666279 
    (native-inputs
667280 
     `(("coq-8.7" ,coq-8.7)
668-
       ("ocaml-fix" ,ocaml-fix)
669-
       ("ocaml-findlib-fix" ,ocaml-findlib-fix)
670-
       ("camlp4-fix" ,camlp4-fix)
671-
       ("camlp5-fix" ,camlp5-fix)
281+
       ("ocaml" ,ocaml)
282+
       ("ocaml-findlib" ,ocaml-findlib)
283+
       ("camlp4" ,camlp4)
284+
       ("camlp5" ,camlp5)
672285 
       ("which" ,which)))
673286 
    (home-page "")
674287 
    (synopsis "")
…
714327 
             #t)))
715328 
       #:tests? #f))
716329 
    (native-inputs
717-
     `(("ocaml" ,ocaml-fix)
330+
     `(("ocaml" ,ocaml)
718331 
       ("coq" ,coq-8.7)))
719332 
    (inputs
720333 
     `(("menhir" ,ocaml-menhir-fix)))
…
726339 
    ;; a non-free license.
727340 
    (license (license:non-copyleft "file:///LICENSE"))))
728341 
729-
(define-public cubicle
730-
  (package
731-
    (name "cubicle")
732-
    (version "1.1.1")
733-
    (source (origin
734-
              (method url-fetch)
735-
              (uri (string-append "http://cubicle.lri.fr/cubicle-"
736-
                                  version ".tar.gz"))
737-
              (sha256
738-
               (base32
739-
                "1sny9c4fm14k014pk62ibpwbrjjirkx8xmhs9jg7q1hk7y7x3q2h"))))
740-
    (build-system gnu-build-system)
741-
    (native-inputs
742-
     `(("ocaml" ,ocaml)
743-
       ("which" ,which)))
744-
    (propagated-inputs
745-
     `(("z3" ,z3)))
746-
    (arguments
747-
     `(#:configure-flags (list "--with-z3")
748-
       #:tests? #f
749-
       #:phases
750-
       (modify-phases %standard-phases
751-
         (add-before 'configure 'configure-for-release
752-
           (lambda _
753-
             (substitute* "Makefile.in"
754-
               (("SVNREV=") "#SVNREV="))))
755-
         (add-before 'configure 'fix-/bin/sh
756-
           (lambda _
757-
             (substitute* "configure"
758-
               (("/bin/sh") (which "sh")))))
759-
         (add-before 'configure 'fix-smt-z3wrapper.ml
760-
           (lambda _
761-
             (substitute* "Makefile.in"
762-
               (("\\\\n") "")))))))
763-
    (home-page "http://cubicle.lri.fr/")
764-
    (synopsis "Model checker for array-based systems")
765-
    (description "Cubicle is an open source model checker for verifying safety
766-
properties of array-based systems.  This is a syntactically restricted class of
767-
parametrized transition systems with states represented as arrays indexed by an
768-
arbitrary number of processes.  Cache coherence protocols and mutual exclusion
769-
algorithms are typical examples of such systems.")
770-
    (license license:asl2.0)))
771-
772342 
(define-public ocaml-c2newspeak
773343 
  (package
774344 
    (name "ocaml-c2newspeak")
…
931501 
    (synopsis "")
932502 
    (description "")
933503 
    (license license:lgpl2.1+)))
934-
935-
(define-public opam2
936-
  (package
937-
    (inherit opam)
938-
    (version "2.0.0")
939-
    (source (origin
940-
              (method url-fetch)
941-
              ;; Use the '-full' version, which includes all the dependencies.
942-
              (uri (string-append
943-
                    "https://github.com/ocaml/opam/releases/download/"
944-
                    version "/opam-full-" version ".tar.gz")
945-
               ;; (string-append "https://github.com/ocaml/opam/archive/"
946-
               ;;                    version ".tar.gz")
947-
               )
948-
              (sha256
949-
               (base32
950-
                "09gdpxiqmyr6z78l85d7pwhiwrycdi2xi1b2mafqr1sk9z5lzbcx"))))))