nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
43,253 Commits 1 Branch 0 Tags 104 MiB
Commit Graph

43253 Commits

Author SHA1 Message Date
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
Tobias Geerinckx-Rice 2b05c9ad5a
gnu: emacs-hierarchy: Don't use unstable tarball. 
* gnu/packages/emacs-xyz.scm (emacs-hierarchy)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
 2019-04-10 20:54:18 +02:00