111 Commits

Author SHA1 Message Date
Ben Siraphob
59b52db759 treewide: remove redundant name attrs and parseDrvName calls 2026-04-01 21:04:20 -07:00
Hythera
38f811e6f9 {idris, idrisPackages.idris}: set pname and version 2026-02-23 14:41:51 +01:00
quantenzitrone
233631a84f treewide: remove references to the xorg namespace in pkgs (manual)
this was done manually, fixing the eval and any remaining stuff of the previous commit

together with the previous commit this shouldn't create any rebuilds
2026-01-25 22:28:14 +01:00
h7x4
20739c715f idris-modules: lib.mapAttrsToList -> lib.attrValues 2025-10-26 15:33:35 +09:00
Michael Daniels
566b923218 idrisPackages.descncrunch: drop
Has been marked broken for at least a full release cycle.

Dropping per RFC 180.
2025-10-11 10:19:13 -04:00
NAHO
c8d4dabc43 pkgs: remove optional builtins prefixes from prelude functions
Remove optional builtins prefixes from prelude functions by running:

    builtins=(
      abort
      baseNameOf
      break
      derivation
      derivationStrict
      dirOf
      false
      fetchGit
      fetchMercurial
      fetchTarball
      fetchTree
      fromTOML
      import
      isNull
      map
      null
      placeholder
      removeAttrs
      scopedImport
      throw
      toString
      true
    )

    fd \
      --type file \
      . \
      pkgs \
      --exec-batch sed --in-place --regexp-extended "
        s/\<builtins\.($(
          printf '%s\n' "${builtins[@]}" |
            paste --delimiter '|' --serial -
        ))\>/\1/g
      "

    nix fmt
2025-10-04 19:02:37 +02:00
Wolfgang Walther
5a0711127c treewide: run nixfmt 1.0.0 2025-07-24 13:55:40 +02:00
Winter
a19cd4ffb1 Revert "treewide: replace rev with tag"
This reverts commit 65a333600d.

This wasn't tested for correctness with something like fodwatch [0],
and should not have been (self-)merged so quickly, especially without
further review.

It also resulted in the breakage of at least one package [1] (and that's
the one we know of and was caught).

A few packages that were updated in between this commit and this revert
were not reverted back to using `rev`, but other than that, this is a
1:1 revert.

[0]: https://codeberg.org/raphaelr/fodwatch
[1]: https://github.com/NixOS/nixpkgs/pull/396904 / 758551e458
2025-04-08 02:57:25 -04:00
Pol Dellaiera
65a333600d treewide: replace rev with tag 2025-04-07 16:57:22 +02:00
Silvan Mosberger
4f0dadbf38 treewide: format all inactive Nix files
After final improvements to the official formatter implementation,
this commit now performs the first treewide reformat of Nix files using it.
This is part of the implementation of RFC 166.

Only "inactive" files are reformatted, meaning only files that
aren't being touched by any PR with activity in the past 2 months.
This is to avoid conflicts for PRs that might soon be merged.
Later we can do a full treewide reformat to get the rest,
which should not cause as many conflicts.

A CI check has already been running for some time to ensure that new and
already-formatted files are formatted, so the files being reformatted here
should also stay formatted.

This commit was automatically created and can be verified using

    nix-build a08b3a4d19.tar.gz \
      --argstr baseRev b32a094368
    result/bin/apply-formatting $NIXPKGS_PATH
2024-12-10 20:26:33 +01:00
jopejoe1
2e2c7f54fd treewide: hide more deprecated stuff if allowAliases is false 2024-11-27 20:51:46 +01:00
Alexis Hildebrandt
755b915a15 treewide: Remove indefinite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-06-09 23:07:45 +02:00
Alexis Hildebrandt
bf995e3641 treewide: Remove ending period from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*".*\.";' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*)\.";/\1";/'
2024-06-09 23:04:51 +02:00
Sigmanificient
8a6176aae3 idrisPackages.sdl: remove 2024-05-30 02:03:57 +02:00
Jussi Kuokkanen
82b45bf454 treewide: remove licenses.agpl3 2024-03-21 18:09:24 +02:00
Artturin
c6568adb00 treewide: makeWrapper buildInputs to nativeBuildInputs
most found with https://github.com/siraben/nix-lint
2022-08-16 13:14:19 +03:00
Robert Hensing
200175a701 config.allowAliases: Define as option
This simplifies usages and makes the default value consistent.

In a few cases, the default value was interpreted to be `false`,
but this is useless, because virtually nobody will explicitly
set `allowAliases = true;`.
2022-04-01 11:33:10 +02:00
Felix Buehler
3df56ed3e4 idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
Jonathan Ringer
3724b8cfa8 idrisPackages.protobuf: move to alias set 2022-02-07 11:38:38 -08:00
c0bw3b
c1ef1d8f9b idrisPackages.protobuf: remove
Upstream does not exist anymore
2022-02-06 16:56:17 -08:00
Maëlys Bras de fer
69f1acd3ec build-idris-package: Use patchPhase for consistency 2021-11-28 13:20:38 +01:00
Silvan Mosberger
aaec4a5cf8 Merge pull request #122181 from divanorama/patch-2
idrisPackages.data: remove broken package at 2018-03-19
2021-05-09 17:40:17 +02:00
divanorama
b06d3ac70a idrisPackages.data: remove broken package at 2018-03-19
Package doesn't compile
https://hydra.nixos.org/build/142422494/nixlog/2
And the repository is archived with latest commits being in 2019
https://github.com/jdevuyst/dependable-data-structures

ZHF: #122042
2021-05-08 20:03:28 +02:00
divanorama
9ad46075a0 idrisPackages.sdl2: fix sources sha256
This is weird
b7ddbd52bd
replaced idris-modules/sdl2.nix hash with that of pkgs/applications/networking/instant-messengers/quaternion/default.nix

Build log says [sdl2.ipkg](https://github.com/steshaw/idris-sdl2/blob/0.1.1/sdl2.ipkg) isn't found, which is kind of correct message for using wrong archive
https://hydra.nixos.org/build/142426623/nixlog/2

How do we make sure all other replaced hashes are correct?

Also move pkg-config dependency to nativeBuildInputs

ZHF: #122042
2021-05-08 14:45:35 +02:00
Pavol Rusnak
a6ce00c50c treewide: remove stdenv where not needed 2021-01-25 18:31:47 +01:00
zowoq
31f5dd3f36 treewide: editorconfig fixes
- remove trailing whitespace
- use spaces for indentation
2021-01-20 09:11:11 +10:00
Jonathan Ringer
9bb3fccb5b treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
continuation of #109595

pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.

python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
2021-01-19 01:16:25 -08:00
Pavol Rusnak
cf2a67fef3 pkgs/development: stdenv.lib -> lib
this takes care of the following folders in pkgs/development:
* arduino
* chez-modules
* go-packages
* guile-modules
* idris-modules
* perl-modules
* r-modules
* ruby-modules
2021-01-17 19:11:59 +01:00
Samuel Gräfenstein
0e19ef393a idris-modules: add final newline to TODO.md 2020-11-09 11:39:28 +00:00
Frederik Rietdijk
08900c0554 Merge master into staging-next 2020-06-04 15:25:54 +02:00
Daiderd Jordan
b7ddbd52bd treewide: replace SRI hashes 2020-06-01 15:24:19 +02:00
John Ericson
1ac5398589 *-wrapper; Switch from infixSalt to suffixSalt
I hate the thing too even though I made it, and rather just get rid of
it. But we can't do that yet. In the meantime, this brings us more
inline with autoconf and will make it slightly easier for me to write a
pkg-config wrapper, which we need.
2020-05-12 00:44:44 -04:00
Michael Reilly
84cf00f980 treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Mike Sperber
620f3c6cf7 idrisPackages: add tf-random package 2020-03-20 13:44:50 +01:00
Alex Gryzlov
11a9dfeb96 idrisPackages.tparsec: 2019-09-19 -> 2020-02-11 2020-02-17 20:08:27 +01:00
Alex Gryzlov
a0d31e3970 idrisPackages.tparsec: 2019-06-18 -> 2019-09-19 2019-12-15 03:03:01 +03:00
Kierán Meinhardt
8eb0413c05 idrisPackages.heyting-algebra: remove 2019-09-24 19:50:04 +02:00
Kierán Meinhardt
7df8575a72 idrisPackages.heyting-algebra: mark as broken
The functionality provided by this package has been added to the Idris contrib library (module `Interfaces.Verified`).
Therefore identifiers cannot be disambiguated anymore.
2019-09-24 17:01:21 +02:00
Silvan Mosberger
dd7de2d096 add options for build idris package (#65666)
add options for build idris package
2019-08-07 13:37:36 +02:00
Marco Perone
8a02fa477f build-idris-package: add options for idris commands 2019-08-06 09:10:46 +02:00
Silvan Mosberger
1e2d93cfcd idrisPackages: Fix overrides not applying
Previously when overriding idrisPackages, it wouldn't work properly because it
took idrisPackages from the pkgs set
2019-08-02 16:42:21 +02:00
Steven Shaw
5bb88bbce2 idrisPackages.sdl2: 2018-01-19 -> 0.1.1
Update to latest release which unbreaks the package.
2019-07-28 07:37:52 +10:00
Alex Gryzlov
46c5c8c16b idrisPackages.tparsec: 2018-12-21 -> 2019-06-18 2019-06-21 18:57:15 +03:00
Silvan Mosberger
adfd54a8f2 idrisPackages.build-idris-package: Install binaries 2019-04-28 16:54:32 +02:00
Silvan Mosberger
93143b02d5 Merge pull request #58320 from Infinisil/fix-idris-glfw
idrisPackages.glfw: Fix runtime
2019-04-28 16:53:32 +02:00
Silvan Mosberger
271403c69b idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc
This should make it work on Darwin with clang.
2019-03-26 04:16:19 +01:00
Silvan Mosberger
cfd2e6731a idrisPackages.idris-wrapper: Fix linking to gmp library
This has been broken since 5d18129ce8,
which updated idris from 1.3.0 to 1.3.1, which included
https://github.com/idris-lang/Idris-dev/pull/4472 as the cause of the
error. I'm still not entirely sure why this broke it though.

This now way should be rather future proof, it uses NIX_CFLAGS to pass
gpm link flags to our CC wrapper directly. The
`NIX_CC_WRAPPER_${stdenv.cc.infixSalt}_TARGET_HOST` part I'm pretty sure
is needed for the CC wrapper to know that those CFLAGS are meant for the
cc running on the HOST.
2019-03-26 04:16:14 +01:00
Silvan Mosberger
321ec862de idrisPackages.glfw: Fix runtime
In order to run programs, pkgconfig needs to be present so it can tell
it where to find glfw3 and gl.
2019-03-26 04:09:24 +01:00
TG ⊗ Θ
50087e01c4 idrisPackages.tparsec: 2018-11-09 -> 2018-12-21 2019-02-05 18:25:25 +01:00
Jakob Brünker
e0bcc7f082 idris-modules/curses.nix: delete
The repository is currently unmaintained and cannot be guaranteed to
work.
2019-01-04 13:44:37 +01:00