Julien Lepiller
|
e9b86fa0f1
|
gnu: opam: Unbundle dependencies.
* gnu/packages/ocaml.scm (opam)[build-system]: Use ocaml-build-system.
[source]: Use unbundled sources.
[arguments]: Update.
[inputs, native-inputs, propagated-inputs]: Add missing dependencies.
|
2019-04-10 21:39:28 +02:00 |
|
Julien Lepiller
|
ec9d932562
|
gnu: Add ocaml-dose3.
* gnu/packages/ocaml.scm (ocaml-dose3): New variable.
* gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch:
New file.
* gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch: New file.
* gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch: New file.
* gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add them.
|
2019-04-10 21:39:20 +02:00 |
|
Julien Lepiller
|
c4262cc932
|
gnu: Add ocaml-mccs.
* gnu/packages/ocaml.scm (ocaml-mccs): New variable.
|
2019-04-10 21:39:17 +02:00 |
|
Julien Lepiller
|
718fadb8ca
|
gnu: Add ocaml-cudf.
* gnu/packages/ocaml.scm (ocaml-cudf): New variable.
|
2019-04-10 21:39:15 +02:00 |
|
Julien Lepiller
|
bb338a7f80
|
gnu: Add ocaml-extlib.
* gnu/packages/ocaml.scm (ocaml-extlib): New variable.
|
2019-04-10 21:39:13 +02:00 |
|
Julien Lepiller
|
b6bba90e92
|
gnu: ocaml-cmdliner: Update to 1.0.3.
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.3.
|
2019-04-10 21:39:10 +02:00 |
|
Julien Lepiller
|
d1358ab633
|
gnu: Add ocaml-opam-file-format.
* gnu/packages/ocaml.scm (ocaml-opam-file-format): New variable.
|
2019-04-10 21:39:07 +02:00 |
|
Julien Lepiller
|
7b1c7ecdfb
|
import: opam: Use dune-build-system when possible.
* guix/import/opam.scm (opam->guix-package): Detect when dune can be used.
|
2019-04-10 21:39:04 +02:00 |
|
Julien Lepiller
|
3e159dd0a4
|
import: opam: Add more patterns to opam file parser.
* guix/import/opam.scm: Add more patterns to peg parser.
(choice-pat choice condition-not condition-paren): New patterns.
(ground-value condition-content condition-var): Update patterns.
|
2019-04-10 21:38:45 +02:00 |
|
Tobias Geerinckx-Rice
|
81a9ab87fc
|
gnu: emacs-nix-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-nix-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
8e65ada235
|
gnu: emacs-helm-mu: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-helm-mu)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
5a6e6f5df2
|
gnu: emacs-helm-exwm: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-helm-exwm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
6141df6689
|
gnu: emacs-zotxt: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-zotxt)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
d7d1b6f6d8
|
gnu: emacs-dumb-jump: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-dumb-jump)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
71ff571454
|
gnu: emacs-company-restclient: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-company-restclient)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
fe7be4deb9
|
gnu: emacs-git-auto-commit-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-git-auto-commit-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
7a8cdab4ff
|
gnu: emacs-slime-company: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-slime-company)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
d13cee982f
|
gnu: emacs-dashboard: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-dashboard)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
6b746c89ac
|
gnu: emacs-wordgen: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-wordgen)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
f903fa46ee
|
gnu: emacs-ido-vertical-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-ido-vertical-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
609d10339d
|
gnu: emacs-parinfer-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-parinfer-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
|
Tobias Geerinckx-Rice
|
fa8976d6ca
|
gnu: emacs-highlight-defined: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-highlight-defined)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
|
Tobias Geerinckx-Rice
|
8792f08b09
|
gnu: emacs-visual-regexp: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-visual-regexp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
|
Tobias Geerinckx-Rice
|
149829ee62
|
gnu: emacs-highlight-numbers: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-highlight-numbers)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
|
Tobias Geerinckx-Rice
|
0f5f9eacf4
|
gnu: emacs-f3: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-f3)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
|
Tobias Geerinckx-Rice
|
8d7f5c55a7
|
gnu: emacs-benchmark-init: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-benchmark-init)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
|
Tobias Geerinckx-Rice
|
0dac411dc1
|
gnu: emacs-strace-mode: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-strace-mode)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
|
Tobias Geerinckx-Rice
|
f93f4d508c
|
gnu: emacs-logview: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-logview)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
|
Tobias Geerinckx-Rice
|
bb926860bf
|
gnu: emacs-helpful: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-helpful)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
|
Tobias Geerinckx-Rice
|
f0d3638738
|
gnu: emacs-org-ref: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-org-ref)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
|
Tobias Geerinckx-Rice
|
9c5c944616
|
gnu: emacs-know-your-http-well: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-know-your-http-well)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
|
Tobias Geerinckx-Rice
|
dbbd98b4a5
|
gnu: emacs-fancy-narrow: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-fancy-narrow)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
|
Tobias Geerinckx-Rice
|
fc13138245
|
gnu: emacs-add-hooks: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-add-hooks)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
|
Tobias Geerinckx-Rice
|
497e491551
|
gnu: emacs-dired-hacks: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-dired-hacks)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
|
Tobias Geerinckx-Rice
|
5cbecbcf19
|
gnu: emacs-web-beautify: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-web-beautify)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
|
Tobias Geerinckx-Rice
|
2880da9ea5
|
gnu: emacs-md4rd: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-md4rd)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
|
Tobias Geerinckx-Rice
|
a549aaf423
|
gnu: emacs-helm-c-yasnippet: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-c-yasnippet)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
|
Tobias Geerinckx-Rice
|
3211f45f0b
|
gnu: emacs-dream-theme: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-dream-theme)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
|
Tobias Geerinckx-Rice
|
4550d8d6d2
|
gnu: emacs-nnreddit: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-nnreddit)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
|
Tobias Geerinckx-Rice
|
5a2e25f805
|
gnu: emacs-hy-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-hy-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
|
Tobias Geerinckx-Rice
|
df88a39650
|
gnu: emacs-beginend: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-beginend)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
|
Tobias Geerinckx-Rice
|
145d1f39db
|
gnu: emacs-parent-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-parent-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
|
Tobias Geerinckx-Rice
|
339eef40f8
|
gnu: emacs-sourcemap: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-sourcemap)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
|
Tobias Geerinckx-Rice
|
006a1da8a6
|
gnu: emacs-edit-server: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-edit-server)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
|
Tobias Geerinckx-Rice
|
cbd18c5ca7
|
gnu: emacs-elisp-refs: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-elisp-refs)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
|
Tobias Geerinckx-Rice
|
1a9a7ad59a
|
gnu: emacs-ws-butler: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-ws-butler)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
|
Tobias Geerinckx-Rice
|
e163d78eea
|
gnu: emacs-loop: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-loop)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
|
Tobias Geerinckx-Rice
|
32ce5382ef
|
gnu: emacs-npm-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-npm-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
|
Tobias Geerinckx-Rice
|
6c4f58ad60
|
gnu: emacs-highlight-stages: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-highlight-stages)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
|
Tobias Geerinckx-Rice
|
95994b0212
|
gnu: emacs-datetime: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-datetime)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
|