~ruther/guix-local

ddf2b503 — Julien Lepiller 9 years ago 
gnu: Add ocaml-zarith.

* gnu/packages/ocaml.scm (ocaml-zarith): New variable.

Signed-off-by: David Craven <david@craven.ch>
93eeadf0 — Julien Lepiller 9 years ago 
gnu: Add ocamlmod.

* gnu/packages/ocaml.scm (ocamlmod): New variable.

Signed-off-by: David Craven <david@craven.ch>
bc2c3bc6 — Julien Lepiller 9 years ago 
gnu: Add camlzip.

* gnu/packages/ocaml.scm (camlzip): New variable.

Signed-off-by: David Craven <david@craven.ch>
7a76b4af — Julien Lepiller 9 years ago 
gnu: Add ocaml-ounit.

* gnu/packages/ocaml.scm (ocaml-ounit): New variable.

Signed-off-by: David Craven <david@craven.ch>
ad3d730e — Julien Lepiller 9 years ago 
gnu: camlp4: Install camlp4 META file.

* gnu/packages/ocaml.scm (camlp4)[arguments]: Install in OCAMLPATH and
  META file.
  (ocaml-findlib)[arguments]: Delete camlp4 META file.

Signed-off-by: David Craven <david@craven.ch>
56f73ead — Julien Lepiller 9 years ago 
gnu: ocaml: Use a helper function to download from ocaml-forge.

* gnu/packages/ocaml.scm (ocaml-forge-origin): New procedure.
  (lablgtk)[origin]: Use it.

Signed-off-by: David Craven <david@craven.ch>
e6876cb9 — Julien Lepiller 9 years ago 
gnu: Add ocaml-build-system.

* guix/build/ocaml-build-system.scm: New file.
* guix/build-system/ocaml.scm: New file.
* Makefile.am (MODULES): Add them.
* gnu/packages/ocaml.scm (ocaml)[native-search-paths]: Adjuste OCAMLPATH.

Signed-off-by: David Craven <david@craven.ch>
e0ddaa8b — Julien Lepiller 9 years ago 
gnu: camlp4: Compile native version.

* gnu/packages/ocaml.scm (camlp4)[arguments]: Disable parallel-build.
  Change default target to "all" to compile native and byte version.

Signed-off-by: David Craven <david@craven.ch>
2b1f7b83 — David Craven 9 years ago 
gnu: ocaml: Fix indentation.

* gnu/packages/ocaml.scm (ocaml): Fix indentation.
796a17ab — Julien Lepiller 9 years ago 
gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path.

* gnu/packages/ocaml.scm (ocaml)[native-search-paths]: Add
  CAML_LD_LIBRARY_PATH.

Signed-off-by: David Craven <david@craven.ch>
8bd10c10 — Julien Lepiller 9 years ago 
gnu: ocaml: Add a .file directive to generated .s files.

* gnu/packages/ocaml.scm (ocaml)[origin]: Add patch.
* gnu/packages/patches/ocaml-Add-a-.file-directive.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add patch.

Signed-off-by: David Craven <david@craven.ch>
1ff755d1 — David Craven 9 years ago 
gnu: Reorder imports in (gnu packages ocaml).

* gnu/packages/ocaml.scm: Reorder imports alphabetically.
d8e0a08c — David Craven 9 years ago 
gnu: Use 'license:' prefix in (gnu packages ocaml).

* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
  proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
  Add prefix.
3254e1ab — David Craven 9 years ago 
gnu: Add idris-lens.

* gnu/packages/idris.scm (idris-lens): New variable.
5a16d828 — David Craven 9 years ago 
gnu: Add idris-bifunctors.

* gnu/packages/idris.scm (idris-bifunctors): New variable.
4e17fff3 — David Craven 9 years ago 
gnu: Add idris-wl-pprint.

* gnu/packages/idris.scm (idris-wl-pprint): New variable.
ea3b38f1 — David Craven 9 years ago 
gnu: Add idris-lightyear.

* gnu/packages/idris.scm (idris-lightyear, idris-default-arguments):
  New variables.
ae482ce1 — David Craven 9 years ago 
gnu: idris: Move to (gnu packages idris).

* gnu/packages/haskell.scm: Move 'idris' to...
* gnu/packages/idris.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add idris.scm.
c7a7129c — David Craven 9 years ago 
gnu: idris: Update to 0.99.

* gnu/packages/haskell.scm (idris): Update to 0.99.
c0d5b645 — David Craven 9 years ago 
gnu: Order module imports in (gnu packages haskell) alphabetically.

* gnu/packages/haskell.scm: Order module imports alphabetically.
Next