Commit Graph

1906 Commits

Author SHA1 Message Date
StepBroBD
b6c2725f12 ocamlPackages.buildDunePackage: allow multiple dune packages (#553950) 2026-08-18 16:02:04 +00:00
sempiternal-aurora
8c223b0953 ocamlPackages.buildDunePackage: allow multiple dune packages
A single `dune-project` file can contain multiple packages that dune can
build. This is a problem, because the default dune build command we use
doesn't search through `dune-project` for dependencies, it assumes that
will have already been built and can be found with findlib. See
zipperposition for an example of this.

Adds a new `dunePackages` argument to allow this, defaulting to `[ pname ]`
for backwards compatibility.
2026-08-19 01:24:46 +10:00
Théo Zimmermann
5c53c37c3f rocqPackages.rocq-core: introduce withPackages 2026-08-18 15:39:38 +02:00
Théo Zimmermann
124e44e7fa coqPackages: stop building from coq-packages.nix for >= 9
Introduce aliases.

coqPackages.rocq-core: introduce as alias of coq for Coq < 9

To facilitate the merging of coq-modules and rocq-modules derivations.
2026-08-18 15:39:37 +02:00
Pierre Roux
853cde0e77 rocqPackages.mathcomp: merge with coqPackages.mathcomp
Make dependency on micromega-plugin optional for compatibility with
versions < 9.
2026-08-18 15:39:35 +02:00
Michael Daniels
b3e96d1c64 beamPackages.mixRelease: convert to use lib.extendMkDerivation 2026-08-16 16:23:53 -04:00
Rohan
9e22abf3f7 androidenv: generate metadata correctly for abi variants
Because a single abi such as x86_64 can have multiple image variants which are not distinguished by checking only the
first tag. Android API 36x were particularly affected as they have both 4kb and 16kb memory page images.

Remove the inconsistent use of `tag` to determine the image path and ID. Instead the path is uniquely determined from
the source XML metadata's location while the `id` uses part of Google's `path` ID.

The `repo.json` is updated incrementally and the last version which was not affected by these issues was `a137f263af92`
so it has been regenerated based on that version.
2026-08-11 12:14:25 +12:00
Sam Pointon
bd6051aa5f systems: also rename pkgsCross.wasi32, leaving aliases 2026-07-28 19:50:03 +01:00
Austin Horstman
afb89593d4 luarocks-packages-updater: support initial maintainer (#544218) 2026-07-22 14:12:33 +00:00
Marc Jakobi
98089f0292 vim.section.md: add note on adding Neovim LuaRocks based plugins (#544152) 2026-07-21 13:28:53 +00:00
Austin Horstman
3ba52b0d7a luarocks-packages-updater: support initial maintainer
Allow passing `--maintainers` to add the maintainers for a new package
creation.
2026-07-21 08:13:11 -05:00
Théo Zimmermann
c57117faef doc: fix typo (#541799) 2026-07-21 12:28:45 +00:00
Marc Jakobi
941e594717 vim.section.md: add note on adding Neovim LuaRocks based plugins 2026-07-21 13:16:57 +02:00
Dmitry Kalinkin
c1d4c396f2 doc: added a method to exclude packages from TeX Live collections (#523729) 2026-07-19 23:10:21 +00:00
Théo Zimmermann
1b950b50bd rocqPackages.mkRocqDerivation: change prefix for rocq
Make the defauult prefix be set to `[ "rocq" ]` (instead of
`[ "rocq-core" ]`) if `useCoq` is `false`.

This matches the opam convention and ensures that the default
`opam-name` will be correct.
2026-07-15 21:43:39 +02:00
Théo Zimmermann
60d60de3de doc: fix typo 2026-07-14 15:35:36 +02:00
Vincent Laporte
17be5c5fe7 Delete duplicated code and make mkCoqDerivation a wrapper on top of mkRocqDerivation (#537856) 2026-07-13 07:41:58 +00:00
Sefa Eyeoglu
0202989271 pnpm_8: drop
Insecure and unmaintained. No consumers in nixpkgs anymore so it can go.

Signed-off-by: Sefa Eyeoglu <contact@scrumplex.net>
2026-07-11 20:04:14 +02:00
Théo Zimmermann
962d8fb3ed mkRocqDerivation: document new parameters useCoq and useCoqifVersion 2026-07-10 17:56:59 +02:00
Peder Bergebakken Sundt
2c75f32887 docs: re-order Rocq section alphabetically (#538947) 2026-07-10 15:29:03 +00:00
Théo Zimmermann
ac33ddde94 doc: re-order Rocq section alphabetically 2026-07-06 13:32:38 +02:00
Michael Daniels
5f07727588 Merge branch 'master' into staging-next 2026-07-05 21:41:03 -04:00
Gergő Gutyina
a62df84c37 doc/javascript.section: recommend fetcherVersion 4 (#531246) 2026-07-05 22:24:56 +00:00
nixpkgs-ci[bot]
a692067795 Merge master into staging-next 2026-07-04 00:35:57 +00:00
Johannes Kirschbauer
a58825ce94 doc/manual: init example packaging guide (#537480) 2026-07-03 20:55:44 +00:00
Johannes Kirschbauer
acfc12be47 doc/manual: init example packaging guide
Used go as example, python and rust where not found suitable due to
theory overhead and multiple competing builder choices
2026-07-03 14:50:03 +02:00
nixpkgs-ci[bot]
be92e0575f Merge master into staging-next 2026-07-03 12:39:18 +00:00
Johannes Kirschbauer
ea3c357a82 doc: replace "in order to" with "to" (#523608) 2026-07-03 09:08:43 +00:00
Johannes Kirschbauer
66241985dc doc/treewide: replace "in order to" with "to"
Fixes a styleguide violation (doc/styleguide.md, "Filler Words and
Weak Phrases"). Release notes excluded.
2026-07-03 11:03:28 +02:00
Johannes Kirschbauer
ad97f5573d pkgs/nixos-render-docs: replace inlince tocs with collapsible sidebar
tables of contents disconnect headings from body text.
decouples heading levels from include type (part,chapter,part etc.)
structure of the sidebar is derived from the include type for now.
Can be changed to a meta file later.

sidebar now uses proper ol-, li-, span-, a-tags
definition tables are not ideal for navigation and accessibility

breaking change:
--toc-depth, --chunk-toc-depth, --section-toc-depth is
now collapsed into --sidebar-depth
2026-07-02 15:44:56 +02:00
nixpkgs-ci[bot]
aac49c0eff Merge master into staging-next 2026-07-02 00:44:19 +00:00
Johannes Kirschbauer
8a2f69744c doc/python: state benefit of fixed point arguments
drop rec and theoretical introduction
just state the pattern that should be used
2026-07-01 19:05:37 +02:00
K900
caea65bc86 Merge remote-tracking branch 'origin/master' into staging-next 2026-06-27 17:13:58 +03:00
Austin Horstman
a47702c9df doc/neovim: fix formatting
Ran nixfmt and saw untouched section that needed formatting.
2026-06-27 08:57:35 -05:00
Austin Horstman
f7b9e91062 doc/neovim: document plugin lua config type option
Explain the type attribute in the plugins list configuration option, showing how to specify a Lua configuration block instead of VimScript.
2026-06-27 08:57:35 -05:00
Austin Horstman
9742b211f4 doc/neovim: fix VimScript comments in examples
VimScript comments start with a double quote (") instead of a hash sign (#).
2026-06-27 08:57:35 -05:00
Austin Horstman
46689fa74a doc/neovim: correct configuration overrides example
Correct configuration overrides example to use neovim.override instead of overrideAttrs.
2026-06-27 08:57:35 -05:00
Austin Horstman
66e23f410b doc/neovim: document wrapNeovimUnstable options
Document extraPython3Packages, withPerl, vimAlias, viAlias, and extraName options for wrapNeovimUnstable.
2026-06-27 08:57:35 -05:00
Martin Weinelt
9ade44f1d4 Merge remote-tracking branch 'origin/staging' into staging-next
Conflicts:
- pkgs/top-level/nixpkgs-basic-release-checks.nix
2026-06-27 01:13:12 +02:00
Austin Horstman
df34580aae doc/neovim: document WASM treesitter parsers
Show how to use the existing wasi32 cross parser set with
wasm-enabled Neovim, and explain why native and WASM parsers
should not be mixed for one language.
2026-06-26 13:55:49 -05:00
nixpkgs-ci[bot]
0f0b57829b Merge staging-next into staging 2026-06-22 17:40:41 +00:00
K900
8f26ec5602 pnpmConfigHook: allow opt-out
This is sometimes useful when mixing ecosystems, e.g. in buildGoModule.
2026-06-22 18:44:29 +03:00
nixpkgs-ci[bot]
87a9b3959a Merge staging-next into staging 2026-06-17 00:51:16 +00:00
Austin Horstman
ba261354d6 doc: update outdated neovim-luarocks-based-plugins section (#532460) 2026-06-16 20:53:21 +00:00
Marc Jakobi
865a4dd05c doc: update outdated neovim-luarocks-based-plugins section 2026-06-16 22:39:42 +02:00
Marc Jakobi
a3414fc47e doc: add note on adding a single Lua package 2026-06-16 22:27:30 +02:00
Stefan Frijters
720365f01c wrapGAppsHook: only wrap out/$outputBin by default (#526688) 2026-06-16 20:01:39 +00:00
Arne Keller
0d4d62432d maven_4: init at 4.0.0-rc5 (#516100) 2026-06-16 18:59:44 +00:00
Ilan Joselevich
1c56877f68 buildRustCrate: add useClippy parameter to lint with clippy-driver (#521993) 2026-06-16 16:08:42 +00:00
Stefan Frijters
e858e80fb1 wrapGAppsHook: only wrap $outBin by default 2026-06-15 18:52:51 +02:00