diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-07-21 19:28:47 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-07-21 21:14:33 +0200 |
| commit | 492ee9887af2dbe063c518c99b8d48897cafbec1 (patch) | |
| tree | be4454fe3b1372a524f7e5930c1553bcddd23519 /gnu | |
| parent | dee2b3bdb9c533f3b2b3dafb9047bacfe48ab94f (diff) | |
gnu: Add Camlp4.
* gnu/packages/ocaml.scm (camlp4): New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/ocaml.scm | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 6907b1a652b..3750399caf8 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm | |||
| @@ -192,6 +192,48 @@ Git-friendly development workflow.") | |||
| 192 | ;; The 'LICENSE' file waives some requirements compared to LGPLv3. | 192 | ;; The 'LICENSE' file waives some requirements compared to LGPLv3. |
| 193 | (license lgpl3))) | 193 | (license lgpl3))) |
| 194 | 194 | ||
| 195 | (define-public camlp4 | ||
| 196 | (package | ||
| 197 | (name "camlp4") | ||
| 198 | (version "4.02.0+1") | ||
| 199 | (source (origin | ||
| 200 | (method url-fetch) | ||
| 201 | (uri (string-append "https://github.com/ocaml/camlp4/archive/" | ||
| 202 | version ".tar.gz")) | ||
| 203 | (sha256 | ||
| 204 | (base32 | ||
| 205 | "0055f4jiz82rgn581xhq3mr4qgq2qgdxqppmp8i2x1xnsim4h9pn")) | ||
| 206 | (file-name (string-append name "-" version ".tar.gz")))) | ||
| 207 | (build-system gnu-build-system) | ||
| 208 | (native-inputs `(("ocaml" ,ocaml) | ||
| 209 | ("which" ,which))) | ||
| 210 | (inputs `(("ocaml" ,ocaml))) | ||
| 211 | (arguments | ||
| 212 | '(#:tests? #f ;no documented test target | ||
| 213 | #:phases (modify-phases %standard-phases | ||
| 214 | (replace | ||
| 215 | 'configure | ||
| 216 | (lambda* (#:key outputs #:allow-other-keys) | ||
| 217 | ;; This is a home-made 'configure' script. | ||
| 218 | (let ((out (assoc-ref outputs "out"))) | ||
| 219 | (zero? (system* "./configure" | ||
| 220 | (string-append "--libdir=" out "/lib") | ||
| 221 | (string-append "--bindir=" out "/bin") | ||
| 222 | (string-append "--pkgdir=" out))))))))) | ||
| 223 | (home-page "https://github.com/ocaml/camlp4") | ||
| 224 | (synopsis "Write parsers in OCaml") | ||
| 225 | (description | ||
| 226 | "Camlp4 is a software system for writing extensible parsers for | ||
| 227 | programming languages. It provides a set of OCaml libraries that are used to | ||
| 228 | define grammars as well as loadable syntax extensions of such grammars. | ||
| 229 | Camlp4 stands for Caml Preprocessor and Pretty-Printer and one of its most | ||
| 230 | important applications is the definition of domain-specific extensions of the | ||
| 231 | syntax of OCaml.") | ||
| 232 | |||
| 233 | ;; This is LGPLv2 with an exception that allows packages statically-linked | ||
| 234 | ;; against the library to be released under any terms. | ||
| 235 | (license lgpl2.0))) | ||
| 236 | |||
| 195 | (define-public camlp5 | 237 | (define-public camlp5 |
| 196 | (package | 238 | (package |
| 197 | (name "camlp5") | 239 | (name "camlp5") |
