coq: move some attributes inside passthru
This commit is contained in:
parent
a071e9f841
commit
5f97adccdc
@ -34,11 +34,9 @@ let
|
|||||||
self = stdenv.mkDerivation {
|
self = stdenv.mkDerivation {
|
||||||
name = "coq-${version}";
|
name = "coq-${version}";
|
||||||
|
|
||||||
inherit coq-version;
|
|
||||||
inherit camlp5;
|
|
||||||
inherit (ocamlPackages) ocaml;
|
|
||||||
passthru = {
|
passthru = {
|
||||||
inherit (ocamlPackages) findlib num;
|
inherit coq-version camlp5;
|
||||||
|
inherit (ocamlPackages) ocaml findlib num;
|
||||||
emacsBufferSetup = pkgs: ''
|
emacsBufferSetup = pkgs: ''
|
||||||
; Propagate coq paths to children
|
; Propagate coq paths to children
|
||||||
(inherit-local-permanent coq-prog-name "${self}/bin/coqtop")
|
(inherit-local-permanent coq-prog-name "${self}/bin/coqtop")
|
||||||
|
Loading…
Reference in New Issue
Block a user