nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-09-14 11:20:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,993 Commits 469 Branches 81 Tags
python-updates
Commit Graph

33 Commits

Author SHA1 Message Date
Vincent Laporte
c54ee72442 ocamlPackages.menhir: 20250903 → 20260203 
coqPackages.MenhirLib: 20250903 → 20260203

ocamlPackages.dolmen: disable tests
 2026-02-16 16:52:19 +01:00
Sigmanificient
91d5ab3ae4 treewide: remove unused rec expressions 2025-03-14 05:15:05 +01:00
Wolfgang Walther
b19d0f6d3d treewide: replace substituteAll with replaceVars 2025-02-10 22:51:56 +01:00
Silvan Mosberger
667d42c00d 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 57b193d8dd
    result/bin/apply-formatting $NIXPKGS_PATH
 2024-12-10 20:27:17 +01:00
Basile Clément
32a6049ad5 ocamlPackages.menhir: support --suggest-menhirLib 
menhir provides a `--suggest-menhirLib` option that tries to infer the
path of the menhir library from the path of the menhir binary.

Since the menhir library and the menhir binary are built as different
derivations, this does not work.

This patch hardcodes the location of the menhir library into the menhir
binary, making `--suggest-menhirLib` work.
 2024-11-22 14:51:13 +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
Sigmanificient
8b473d1a27 treewide: remove unused fetch* (and other) arguments 2024-05-30 13:36:48 +02:00
stuebinm
ff1a94e523 treewide: add meta.mainProgram to packages with a single binary 
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
 2024-03-19 03:14:51 +01:00
Vincent Laporte
81008f02c4 ocamlPackages.menhir: 20211128 → 20220210 2022-06-05 15:44:28 +02:00
Mario Rodas
1e18ed8a5c ocamlPackages.menhirLib: 20211012 -> 20211128 (#148594) 2021-12-10 07:42:49 +01:00
Vincent Laporte
5ca9831cb1 ocamlPackages.menhir: 20190626 → 20210419 
ocamlPackages.menhirLib: init at 20210419
ocamlPackages.menhirSdk: init at 20210419
 2021-06-05 13:38:01 +02:00
sternenseemann
4e42cac49d ocamlPackages: stdenv.lib → lib 
This change was produced by searching for remaining occurrences of
stdenv.lib and replacing them manually.

Reference #108938.
 2021-01-12 16:33:18 +01:00
Profpatsch
4a7f99d55d treewide: with stdenv.lib; in meta -> with lib; 
Part of: https://github.com/NixOS/nixpkgs/issues/108938

meta = with stdenv.lib;

is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.

This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.

The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
 2021-01-11 10:38:22 +01:00
Vincent Laporte
430e5ce04c compcert: 3.5 → 3.6 
ocamlPackages.menhir: 20181113 → 20190626
 2019-10-19 20:30:48 +00:00
Vincent Laporte
88d20b2052 ocamlPackages.menhir: 20181026 -> 20181113 2018-11-21 06:12:33 +00:00
Vincent Laporte
80bb1db72c ocamlPackages.menhir: 20170712 -> 20181026 2018-10-28 15:30:49 +00:00
Vincent Laporte
63cda55aa2 ocamlPackages.menhir: 20170418 -> 20170712 2017-07-12 18:13:33 +00:00
Vincent Laporte
0fcc6ca515 ocamlPackages.menhir: 20170101 -> 20170418 2017-04-20 20:16:35 +00:00
Vincent Laporte
6a04086683 ocamlPackages.menhir: 20161115 -> 20170101 2017-02-01 07:45:14 +00:00
Vincent Laporte
5b59e91f73 ocamlPackages.menhir: 20160526 -> 20161115 2016-11-17 18:07:37 +01:00
Vincent Laporte
4168706d4f OCaml modules: make explicit some dependencies to ocamlbuild 2016-10-09 11:55:19 +02:00
Ricardo M. Correia
24d1d19bd2 menhir: 20160303 -> 20160526 (#17343) 2016-07-29 11:30:42 +02:00
Vincent Laporte
b219052bf1 menhir: 20151112 -> 20160303 2016-03-04 09:29:10 +01:00
Vincent Laporte
038f4ce1d1 menhir: 20151110 -> 20151112 2015-12-15 21:36:57 +01:00
Vincent Laporte
6cc033b99e menhir: refactor to generic; init at 20151110 for OCaml >= 4.02 2015-11-11 12:30:32 +01:00
Vincent Laporte
2205847614 ocaml-menhir: update from 20130116 to 20140422 2015-06-18 11:47:28 +02:00
Tobias Geerinckx-Rice
b2d7f4b1ba Use common licence attributes from lib/licenses.nix 
Many (less easily automatically converted) old-style strings
remain.

Where there was any possible ambiguity about the exact version or
variant intended, nothing was changed. IANAL, nor a search robot.

Use `with stdenv.lib` wherever it makes sense.
 2015-05-27 22:00:06 +02:00
Eelco Dolstra
e07ce3314d Fix some "meta.licenses" attributes 2014-01-25 03:04:46 +01:00
Marco Maggesi
c54a9276ba Update menhir to version 20130115 2014-01-18 20:56:44 +00:00
Arie Middelkoop
2b18ccf305 * Added "easytag", a GUI for organizing id3tags in mp3s. 
* Updated some ocaml packages.
* Updated coccinelle.

svn path=/nixpkgs/trunk/; revision=33674
 2012-04-09 09:42:20 +00:00
Marco Maggesi
eb33e01ac7 * Add variable createFindlibDestdir to the setupHook of findlib 
* Set createFindlibDestdir to various ocaml packages.

svn path=/nixpkgs/trunk/; revision=25220
 2010-12-21 09:37:35 +00:00
Marco Maggesi
e1bbcecbaf * Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, cryptokit, ocaml-lwt, menhir, ounit, ocaml-pcre, ocaml-react, ocaml-ssl 
svn path=/nixpkgs/trunk/; revision=25064
 2010-12-11 14:50:45 +00:00
Marco Maggesi
ac457478e3 * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react 
svn path=/nixpkgs/trunk/; revision=25041
 2010-12-09 15:40:04 +00:00