~ruther/guix-local

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.
ee17a9e0 — David Craven 9 years ago
git-download: Add some helpers.

* guix/git-download.scm (git-version, git-file-name): New variables.
9b4ec573 — Ricardo Wurmus 9 years ago
doc: Change wording for "--with-graft".

* doc/guix.texi (Package Transformation Options): Change wording for
"--with-graft" documentation.
de793e9a — Ricardo Wurmus 9 years ago
gnu: ghc-language-c: Fix up.

* gnu/packages/haskell.scm (ghc-language-c): Fix up indentation and
description.
3b7ccbe9 — David Craven 9 years ago
build-system: cargo: Use correct cargo.

* gnu/packages/rust.scm (cargo-bootstrap): Make private.
* guix/build-system/cargo.scm (default-cargo): Use cargo.
b5a09649 — David Craven 9 years ago
gnu: Add cargo.

* gnu/packages/rust.scm (cargo): New variable.
2d2388e2 — Danny Milosavljevic 9 years ago
gnu: Add ghc-language-c.

* gnu/packages/haskell.scm (ghc-language-c): New variable.
Next