ocaml: remove pushed packages

Julien LepillerSun Oct 01 15:21:02+0200 2017

12343f2

ocaml: remove pushed packages

more/packages/ocaml.scm

7878
                         "/lib/ocaml/site-lib"))
7979
    #:phases (modify-phases %standard-phases (delete 'configure))))
8080
81-
(define-public ocaml-ezjsonm
82-
  (package
83-
    (name "ocaml-ezjsonm")
84-
    (version "0.4.3")
85-
    (source (origin
86-
              (method url-fetch)
87-
              (uri (string-append "https://github.com/mirage/ezjsonm/archive/"
88-
                                  version ".tar.gz"))
89-
              (sha256
90-
               (base32
91-
                "1kag0z2xlk4rw73a240dmkxh9rj6psxxcxkm7d7z0rrj6hzjajgq"))
92-
              (file-name (string-append name "-" version ".tar.gz"))))
93-
    (build-system ocaml-build-system)
94-
    (native-inputs
95-
     `(("alcotest" ,ocaml-alcotest)))
96-
    (propagated-inputs
97-
     `(("hex" ,ocaml-hex)
98-
       ("jsonm" ,ocaml-jsonm)
99-
       ("lwt" ,ocaml-lwt)
100-
       ("sexplib" ,ocaml-sexplib)))
101-
    (arguments
102-
     `(#:configure-flags (list "--enable-lwt")
103-
       ;; dllcstruct_stubs.so: cannot open shared object file: No such file
104-
       ;; or directory. May be fixed?
105-
       #:tests? #f))
106-
    (home-page "https://github.com/mirage/ezjsonm/")
107-
    (synopsis "An easy interface on top of the Jsonm library")
108-
    (description "This version provides more convenient (but far less flexible)
109-
input and output functions that go to and from [string] values.  This avoids
110-
the need to write signal code, which is useful for quick scripts that
111-
manipulate JSON.")
112-
    (license license:isc)))
113-
114-
(define-public ocaml-uri
115-
  (package
116-
    (name "ocaml-uri")
117-
    (version "1.9.2")
118-
    (source (origin
119-
              (method url-fetch)
120-
              (uri (string-append "https://github.com/mirage/ocaml-uri/archive/v"
121-
                                  version ".tar.gz"))
122-
              (sha256
123-
               (base32
124-
                "02bzrag79prx261rxf9mlak749pwf4flpfl8p012x1xznv9m0clc"))
125-
              (file-name (string-append name "-" version ".tar.gz"))))
126-
    (build-system ocaml-build-system)
127-
    (native-inputs
128-
     `(("ounit" ,ocaml-ounit)))
129-
    (propagated-inputs
130-
     `(("ppx-sexp-conv" ,ocaml-ppx-sexp-conv)
131-
       ("re" ,ocaml-re)
132-
       ("ppx-deriving" ,ocaml-ppx-deriving)
133-
       ("sexplib" ,ocaml-sexplib)
134-
       ("stringext" ,ocaml-stringext)))
135-
    (home-page "https://github.com/mirage/ocaml-uri")
136-
    (synopsis "RFC3986 URI/URL parsing library")
137-
    (description "RFC3986 URI/URL parsing library.")
138-
    (license license:isc)))
139-
140-
(define-public ocaml-easy-format
141-
  (package
142-
    (name "ocaml-easy-format")
143-
    (version "1.2.0")
144-
    (source (origin
145-
              (method url-fetch)
146-
              (uri (string-append "https://github.com/mjambon/easy-format/"
147-
                                  "archive/v" version ".tar.gz"))
148-
              (sha256
149-
               (base32
150-
                "1zcz682y9figa84k7lgdjcab5qbzk3yy14ygfqp2dhhrvjygm252"))
151-
              (file-name (string-append name "-" version ".tar.gz"))))
152-
    (build-system ocaml-build-system)
153-
    (arguments
154-
     `(#:phases
155-
       (modify-phases %standard-phases
156-
         (delete 'configure))
157-
       #:tests? #f))
158-
    (home-page "https://github.com/mjambon/easy-format")
159-
    (synopsis "High-level and functional interface to the Format module of the
160-
OCaml standard library")
161-
    (description "High-level and functional interface to the Format module of
162-
the OCaml standard library.")
163-
    (license license:bsd-3)))
164-
165-
(define-public ocaml-optcomp
166-
  (package
167-
    (name "ocaml-optcomp")
168-
    (version "1.6")
169-
    (source (origin
170-
              (method url-fetch)
171-
              (uri (string-append "https://github.com/diml/optcomp/archive/"
172-
                                  version ".tar.gz"))
173-
              (sha256
174-
               (base32
175-
                "0hhhb2gisah1h22zlg5iszbgqxdd7x85cwd57bd4mfkx9l7dh8jh"))
176-
              (file-name (string-append name "-" version ".tar.gz"))))
177-
    (build-system ocaml-build-system)
178-
    (arguments
179-
     `(#:use-make? #t
180-
	   #:make-flags
181-
       (list (string-append "BUILDFLAGS=\"-cflags -I,"
182-
                            (assoc-ref %build-inputs "camlp4")
183-
                            "/lib/ocaml/site-lib/camlp4/Camlp4Parsers\""))))
184-
    (native-inputs `(("camlp4" ,camlp4)))
185-
    (propagated-inputs `(("camlp4" ,camlp4)))
186-
    (home-page "https://github.com/diml/optcomp")
187-
    (synopsis "Optional compilation with cpp-like directives")
188-
    (description "Optional compilation with cpp-like directives.")
189-
    (license license:bsd-3)))
190-
191-
(define-public ocaml-piqilib
192-
  (package
193-
    (name "ocaml-piqilib")
194-
    (version "0.6.13")
195-
    (source (origin
196-
              (method url-fetch)
197-
              (uri (string-append "https://github.com/alavrik/piqi/archive/v"
198-
                                  version ".tar.gz"))
199-
              (sha256
200-
               (base32
201-
                "1whqr2bb3gds2zmrzqnv8vqka9928w4lx6mi6g244kmbwb2h8d8l"))
202-
              (file-name (string-append name "-" version ".tar.gz"))
203-
              (patches (search-patches "ocaml-piqilib-fix-makefile.patch"))))
204-
    (build-system ocaml-build-system)
205-
    (arguments
206-
     `(#:phases
207-
       (modify-phases %standard-phases
208-
         (replace 'configure
209-
           (lambda* (#:key outputs #:allow-other-keys)
210-
             (let ((out (assoc-ref outputs "out")))
211-
               (substitute* "make/OCamlMakefile"
212-
                 (("/bin/sh") (which "bash")))
213-
               (zero? (system* "./configure" "--prefix" out "--ocaml-libdir"
214-
                               (string-append out "/lib/ocaml/site-lib"))))))
215-
       (add-after 'build 'build-ocaml
216-
         (lambda* (#:key outputs #:allow-other-keys)
217-
           (zero? (system* "make" "ocaml")))) 
218-
       (add-after 'install 'install-ocaml
219-
         (lambda* (#:key outputs #:allow-other-keys)
220-
           (zero? (system* "make" "ocaml-install"))))
221-
       (add-after 'install-ocaml 'link-stubs
222-
         (lambda* (#:key outputs #:allow-other-keys)
223-
           (let* ((out (assoc-ref outputs "out"))
224-
                  (stubs (string-append out "/lib/ocaml/site-lib/stubslibs"))
225-
                  (lib (string-append out "/lib/ocaml/site-lib/piqilib")))
226-
             (mkdir-p stubs)
227-
             (symlink (string-append lib "/dllpiqilib_stubs.so")
228-
                      (string-append stubs "/dllpiqilib_stubs.so"))))))))
229-
    (native-inputs
230-
     `(("which" ,which)
231-
       ("camlp4" ,camlp4)))
232-
    (propagated-inputs
233-
     `(("xmlm" ,ocaml-xmlm)
234-
       ("ulex" ,ocaml-ulex)
235-
       ("optcomp" ,ocaml-optcomp)
236-
       ("easy-format" ,ocaml-easy-format)
237-
       ("base64" ,ocaml-base64)))
238-
    (home-page "http://piqi.org")
239-
    (synopsis "Data serialization and conversion library")
240-
    (description "Common library used by piqi command-line tool and piqi-ocaml.")
241-
    (license license:asl2.0)))
242-
243-
(define-public ocaml-uuidm
244-
  (package
245-
    (name "ocaml-uuidm")
246-
    (version "0.9.6")
247-
    (source (origin
248-
              (method url-fetch)
249-
              (uri (string-append "http://erratique.ch/software/uuidm/"
250-
                                  "releases/uuidm-" version ".tbz"))
251-
              (sha256
252-
               (base32
253-
                "0hz4fdx0x16k0pw9995vkz5d1hmzz6b16wck9li399rcbfnv5jlc"))))
254-
    (build-system ocaml-build-system)
255-
    (arguments
256-
     `(#:tests? #f
257-
       #:build-flags
258-
       (list "build" "--with-cmdliner" "true")
259-
       #:phases
260-
       (modify-phases %standard-phases
261-
         (delete 'configure))))
262-
    (native-inputs
263-
     `(("opam" ,opam)))
264-
    (propagated-inputs
265-
     `(("cmdliner" ,ocaml-cmdliner)
266-
       ("topkg" ,ocaml-topkg)))
267-
    (home-page "http://erratique.ch/software/uuidm")
268-
    (synopsis "Universally unique identifiers (UUIDs) for OCaml")
269-
    (description "Uuidm is an OCaml module implementing 128 bits universally
270-
unique identifiers version 3, 5 (named based with MD5, SHA-1 hashing) and 4
271-
(random based) according to RFC 4122.")
272-
    (license license:isc)))
273-
274-
(define-public ocamlgraph
275-
  (package
276-
    (name "ocamlgraph")
277-
    (version "1.8.7")
278-
    (source (origin
279-
              (method url-fetch)
280-
              (uri (string-append "http://ocamlgraph.lri.fr/download/"
281-
                                  "ocamlgraph-" version ".tar.gz"))
282-
              (sha256
283-
               (base32
284-
                "1845r537swjil2fcj7lgbibc2zybfwqqasrd2s7bncajs83cl1nz"))
285-
              (patches (search-patches "ocamlgraph-honor-source-date-epoch.patch"))))
286-
    (build-system ocaml-build-system)
287-
    (arguments
288-
     `(#:install-target "install-findlib"
289-
       #:phases
290-
       (modify-phases %standard-phases
291-
         (add-before 'configure 'fix-/bin/sh
292-
           (lambda* (#:key inputs #:allow-other-keys)
293-
             (substitute* "configure"
294-
               (("-/bin/sh") (string-append "-" (assoc-ref inputs "bash")
295-
                                            "/bin/sh"))))))))
296-
    (inputs `(("lablgtk" ,lablgtk)))
297-
    (home-page "http://ocamlgraph.lri.fr/")
298-
    (synopsis "A generic graph library for OCaml")
299-
    (description "A generic graph library for OCaml.")
300-
    (license license:lgpl2.1)))
301-
302-
(define-public ocaml-piqi
303-
  (package
304-
    (name "ocaml-piqi")
305-
    (version "0.7.5")
306-
    (source (origin
307-
              (method url-fetch)
308-
              (uri (string-append "https://github.com/alavrik/piqi-ocaml/"
309-
                                  "archive/v" version ".tar.gz"))
310-
              (sha256
311-
               (base32
312-
                "0ngz6y8i98i5v2ma8nk6mc83pdsmf2z0ks7m3xi6clfg3zqbddrv"))))
313-
    (build-system ocaml-build-system)
314-
    (arguments
315-
     `(#:make-flags
316-
       (list (string-append "DESTDIR=" (assoc-ref %outputs "out")))
317-
       #:phases
318-
       (modify-phases %standard-phases
319-
         (delete 'configure)
320-
         (add-before 'build 'patch-/bin/sh
321-
           (lambda _
322-
             (substitute* "make/OCamlMakefile"
323-
               (("/bin/sh") (which "sh")))
324-
             #t)))))
325-
    (native-inputs
326-
     `(("which" ,which)
327-
       ("protobuf" ,protobuf))) ; for tests
328-
    (propagated-inputs
329-
     `(("piqilib" ,ocaml-piqilib)))
330-
    (home-page "https://github.com/alavrik/piqi-ocaml")
331-
    (synopsis "Protocol serialization system for OCaml")
332-
    (description "Piqi is a multi-format data serialization system for OCaml.
333-
It provides a uniform interface for serializing OCaml data structures to JSON,
334-
XML and Protocol Buffers formats.")
335-
    (license license:asl2.0)))
336-
337-
(define-public bap
338-
  (package
339-
    (name "bap")
340-
    (version "1.1.0")
341-
    (home-page "https://github.com/BinaryAnalysisPlatform/bap")
342-
    (source (origin
343-
              (method url-fetch)
344-
              (uri (string-append home-page "/archive/v" version ".tar.gz"))
345-
              (sha256
346-
               (base32
347-
                "1ms95m4j1qrmy7zqmsn2izh7gq68lnmssl7chyhk977kd3sxj66m"))
348-
              (file-name (string-append name "-" version ".tar.gz"))))
349-
   (build-system ocaml-build-system)
350-
   (native-inputs
351-
    `(("oasis" ,ocaml-oasis)
352-
      ("clang" ,clang)
353-
      ("ounit" ,ocaml-ounit)))
354-
   (propagated-inputs
355-
    `(("core-kernel" ,ocaml-core-kernel)
356-
      ("ppx-driver" ,ocaml-ppx-driver)
357-
      ("uri" ,ocaml-uri)
358-
      ("llvm" ,llvm)
359-
      ("gmp" ,gmp)
360-
      ("clang-runtime" ,clang-runtime)
361-
      ("fileutils" ,ocaml-fileutils)
362-
      ("cmdliner" ,ocaml-cmdliner)
363-
      ("zarith" ,ocaml-zarith)
364-
      ("uuidm" ,ocaml-uuidm)
365-
      ("camlzip" ,camlzip)
366-
      ("frontc" ,ocaml-frontc)
367-
      ("ezjsonm" ,ocaml-ezjsonm)
368-
      ("ocurl" ,ocaml-ocurl)
369-
      ("piqi" ,ocaml-piqi)
370-
      ("ocamlgraph" ,ocamlgraph)
371-
      ("bitstring" ,ocaml-bitstring)
372-
      ("ppx-jane" ,ocaml-ppx-jane)
373-
      ("re" ,ocaml-re)))
374-
   (inputs `(("llvm" ,llvm)))
375-
   (arguments
376-
    `(#:use-make? #t
377-
      #:phases
378-
      (modify-phases %standard-phases
379-
        (replace 'configure
380-
          (lambda* (#:key outputs #:allow-other-keys)
381-
            (zero? (system* "./configure" "--prefix"
382-
                            (assoc-ref outputs "out")
383-
                            "--libdir"
384-
                            (string-append
385-
                              (assoc-ref outputs "out")
386-
                              "/lib/ocaml/site-lib")
387-
                            "--with-llvm-version=3.8"
388-
                            "--with-llvm-config=llvm-config"
389-
                            "--enable-everything"))))
390-
        (add-before 'install 'fix-ocamlpath
391-
          (lambda* (#:key outputs #:allow-other-keys)
392-
            (setenv "OCAMLPATH"
393-
                    (string-append
394-
                      (getenv "OCAMLPATH") ":"
395-
                      (assoc-ref outputs "out")
396-
                      "/lib/ocaml/site-lib"))
397-
            (setenv "PATH"
398-
                    (string-append (getenv "PATH") ":"
399-
                                   (assoc-ref outputs "out") "/bin"))))
400-
        (add-after 'install 'link-stubs
401-
          (lambda* (#:key outputs #:allow-other-keys)
402-
            (let* ((out (assoc-ref outputs "out"))
403-
                   (stubs (string-append out "/lib/ocaml/site-lib/stubslibs"))
404-
                   (lib (string-append out "/lib/ocaml/site-lib/bap-plugin-llvm")))
405-
              (mkdir-p stubs)
406-
              (symlink (string-append lib "/dllllvm_plugin_stubs.so")
407-
                       (string-append stubs "/dllllvm_plugin_stubs.so"))))))))
408-
   (synopsis "Binary Analysis Platform")
409-
   (description "Binary Analysis Platform is a framework for writing program
410-
analysis tools, that target binary files.  The framework consists of a plethora
411-
of libraries, plugins, and frontends.  The libraries provide code reusability,
412-
the plugins facilitate extensibility, and the frontends serve as entry points.")
413-
   (license license:expat)))
414-
415-
(define-public ocaml-camomile
416-
  (package
417-
    (name "ocaml-camomile")
418-
    (version "0.8.5")
419-
    (home-page "https://github.com/yoriyuki/Camomile")
420-
    (source (origin
421-
              (method url-fetch)
422-
              (uri (string-append home-page "/releases/download/rel-" version
423-
                                  "/camomile-" version ".tar.bz2"))
424-
              (sha256
425-
               (base32
426-
                "003ikpvpaliy5hblhckfmln34zqz0mk3y2m1fqvbjngh3h2np045"))))
427-
    (build-system ocaml-build-system)
428-
    (native-inputs `(("camlp4" ,camlp4)))
429-
    (arguments
430-
     `(#:phases
431-
       (modify-phases %standard-phases
432-
         (add-before 'configure 'fix-bin/sh
433-
           (lambda* (#:key #:allow-other-keys)
434-
             (substitute* "configure"
435-
               (("CONFIG_SHELL-/bin/sh")
436-
                (string-append "CONFIG_SHELL-" (which "bash")))))))))
437-
    (synopsis "Comprehensive Unicode library")
438-
    (description "Camomile is a Unicode library for OCaml.  Camomile provides
439-
Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about
440-
200 encodings, collation and locale-sensitive case mappings, and more.  The
441-
library is currently designed for Unicode Standard 3.2.")
442-
    (license license:lgpl2.0+))) ; with an exception
443-
44481
(define-public ocaml-zed
44582
  (package
44683
    (name "ocaml-zed")