alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
131027 commits 217 branches 116 tags 4 GiB
Commit graph

1802 commits

Author SHA1 Message Date
Graham Christensen 140f0a802c
Merge pull request #34096 from scode/scode/flameshot 
flameshot: init at 0.5.0
 2018-01-28 07:44:12 -05:00
Renato Alves 43b72ba4c5
Add Renato Alves (unode) to maintainers 2018-01-27 16:41:02 +01:00
John Ericson 57b01b1bcf lib, openssl: Get rid of openssl.system 
We compute it on the fly, careful to avoid any mass rebuilds for now.
 2018-01-26 21:22:00 -05:00
John Ericson 16a50f5a07 lib: Remove examples platforms' bigEndian attr 
They still have `parsed.cpu.significantByte` which has the same info.
 2018-01-26 21:22:00 -05:00
John Ericson 71f814a889 lib, glibc: Get rid of withTLS 
glibc removed the underlying flag in 2011 in
83cd14204559abbb52635006832eaf4d2f42514a [1].

This gets us one step closer to fixing #34274: the cross stdenv for
aarch64-unknown-linux-gnu at least evals now.

Thanks to @Dezgeg for doing all the research for this.

[1]: https://sourceware.org/git/?p=glibc.git;a=commit;h=83cd14204559abbb52635006832eaf4d2f42514a
 2018-01-26 23:29:06 +02:00
John Ericson 14725b94d5
Merge pull request #34269 from obsidiansystems/lib-riscv-wasm 
lib: Allow parsing platform configs with arch of `{riscv,wasm}{32,64}`
 2018-01-26 13:09:12 -05:00
John Ericson d1478c91c3 lib: Allow parsing platform configs with arch of {riscv,wasm}{32,64} 
Also add `isRiscv` and `isWasm` predicates.
 2018-01-26 12:44:05 -05:00
Orivej Desh 3989b33e74
Merge pull request #34245 from orivej/addPassthru 
addPassthru: fix argument order
 2018-01-25 10:37:36 +00:00
Samuel Leathers efdb0983da
Merge pull request #34199 from arcadio/kallisto 
kallisto: init at 0.43.1
 2018-01-24 20:43:24 -07:00
Orivej Desh ce1d740fa6 addPassthru: fix argument order 
addPassthru became unused in #33057, but its signature was changed at the same
time.  This commit restores the original signature and updates the warning and
the changelog.
 2018-01-24 23:06:12 +00:00
Arcadio Rubio García a7333e9ced kallisto: init at 0.43.1 2018-01-24 16:16:46 +00:00
チルノ b23e92eac1 tewisay: init at git-2017-04-14 (#33488) 2018-01-21 22:31:51 +00:00
Nicolas Mattia 1d47908879 gpp: init at 2.25 and add @nmattia as maintainer (#34098) 
* maintainers: add nmattia
* gpp: init at 2.25

GPP is a handy preprocessing tool, not yet present in the package set.
 2018-01-21 19:17:31 +00:00
Peter Schuller f08394436a flameshot: init at 0.5.0 2018-01-21 10:56:40 -08:00
Matan Shenhav c8300a0596 pythonPackage.python-oauth2: init at 1.0.1 2018-01-20 13:54:05 +00:00
Marek Mahut 9844e027c4 mencal: init at 3.0 2018-01-17 16:24:59 +02:00
Leon Schuermann a6dca04272
woof: init at 2012-05-31 2018-01-17 21:59:18 +08:00
y0no 7e0402632d bettercap: init at 1.6.2 (#33902) 2018-01-16 07:40:49 +00:00
tilpner fb1d094672
goxel: init at 0.7.2 2018-01-16 03:23:18 +01:00
Ashley Gillman 271d4a7ca0 dcm2niix: init at 1.0.20170130 2018-01-15 16:45:03 +10:00
Vladimír Čunát 67e8392383
Merge #33057: stdenv meta checks: make them lazy 
Closes #22277 - it's superseded;  I have some WIP on evaluation
performance, but best do that in a separate PR/thread.
 2018-01-14 21:41:31 +01:00
Jan Malakhovski 41df994001 lib: deprecate addPassthru 2018-01-14 19:54:47 +00:00
Jan Malakhovski 85cd22cf7d treewide: replace addPassthru 2018-01-14 19:53:57 +00:00
Jan Malakhovski 8606dd8556 lib: change the order of arguments of addPassthru 2018-01-14 13:24:30 +00:00
Graham Christensen 34b4d41a84
Merge pull request #33792 from paraseba/scidvspc 
scid-vs-pc: init at version 4.18.1
 2018-01-13 21:16:19 -05:00
Jörg Thalheim a100ed0ae3
Merge pull request #33793 from sellout/add/flootty 
flootty: init at 3.2.1
 2018-01-13 17:46:28 +00:00
xurei b9ae8efca5 libzxcvbn: init at 2.3 (#33822) 
* Add package libzxcvbn

* zxcvbn-c: name after the project not the library
 2018-01-13 10:40:45 +00:00
Greg Pfeil 38deb53542
Merge branch 'master' into add/flootty 2018-01-12 15:08:44 -07:00
Florian Engel 48776d58b1 lolcat: 42.1.0 -> 90.8.8 2018-01-12 20:18:54 +01:00
Gregory Pfeil 79db7c0616 flootty: init at 3.2.1 2018-01-12 10:32:50 -07:00
Sebastian Galkin 6b6e95ae1f Add paraseba as maintainer 2018-01-12 14:39:44 -02:00
Shea Levy 4e78aeb441
callCabal2nix: Fix calling with a path in the store. 2018-01-11 10:17:56 -05:00
Luz e056315a3e librepcb-unstable: init at 2017-12-29 (#33630) 2018-01-11 09:20:00 +00:00
Andreas Rammhold 32f6c9a73d
Merge pull request #33633 from samueldr/feature/dbeaver 
dbeaver: inits at 4.3.2
 2018-01-10 19:30:38 +00:00
Peter Simons a45ae5463b
Merge pull request #33312 from ElvishJerricco/composable-filter-source 
Added composable version of `filterSource` to `lib`
 2018-01-10 07:23:07 +01:00
Will Fancher 7e5f37d73b Added lib.cleanSourceWith as composable version of filterSource 2018-01-09 18:59:03 -05:00
Christian Kauhaus 18cf038d6f Update my e-mail address 
My work address is more appropriate now.
 2018-01-09 12:09:36 +01:00
Samuel Dionne-Riel b6829f5d6a maintainers: Adds samueldr. 2018-01-08 18:22:13 -05:00
Yegor Timoshenko ad26bfd316
lib/maintainers: fix typo 2018-01-08 15:12:00 +00:00
Alex Griffin a05e7a56d3 maintainers: add ajgrf 2018-01-06 09:09:30 -06:00
Orivej Desh a2a7d86942
Merge pull request #33252 from dzabraev/master 
pysigset: init at 0.3.2
 2018-01-06 03:13:15 +00:00
AndersonTorres 1d28f2ba69 Add watcom-1.0 license 2018-01-05 01:48:11 -02:00
Joachim F cf944e4c12
Merge pull request #33344 from dtzWill/feature/icesl 
icesl: init at 2.1.10
 2018-01-04 19:29:11 +00:00
Ryan Trinkle e1e5860ab5
Merge pull request #33346 from ryantrinkle/init-thunderbolt 
Init thunderbolt at 0.9.2
 2018-01-03 17:31:57 -05:00
Profpatsch 319722113e lib/generators: abort on pattern match failure 2018-01-03 23:13:50 +01:00
Jan Malakhovski b1ca8517ee lib: generalize addPassthru to extendDerivation 2018-01-03 12:20:24 +00:00
Ryan Trinkle 70cf769082 maintainers: add ryantrinkle 2018-01-02 14:27:20 -05:00
Merlin Göttlinger 60e76dfff8 icesl: init at 2.1.10 2018-01-02 13:19:47 -06:00
John Ericson 1ecebbd939
Merge pull request #33240 from velovix/master 
lxterminal: init at 0.3.1
 2018-01-02 10:05:28 -05:00
Jörg Thalheim 2563f7d2af
Merge pull request #33298 from chreekat/perl-vidir 
perl-vidir: init at 0.040
 2018-01-02 08:12:58 +01:00
Bryan Richter 453be1677e
perl-vidir: init at 0.040 2018-01-01 16:13:21 -05:00
Maxim Dzabraev 548a14a7b7 add new maintainer 2017-12-31 20:36:20 +03:00
Thomas Tuegel 6da5e73ad8
Merge pull request #27593 from bugworm/qtstyleplugin-kvantum 
qtstyleplugin-kvantum: init at 0.10.4
 2017-12-31 08:40:26 -06:00
Tyler Compton b1d1679d5c lxterminal: init at 0.3.1 2017-12-31 03:28:06 -07:00
David Asabina 8dbfe6990e maintainers: add @vidbina 2017-12-30 21:58:27 +01:00
Sébastien Maccagnoni 9db8e22679
gnomeExtensions.mediaplayer: init at 3.5 2017-12-30 20:00:22 +01:00
Adam Fidel 6a6e34b81e fastpbkdf2: init at version 1.0.0 (#33155) 2017-12-30 05:26:08 +03:00
Maciek Starzyk 8bf2a0971e miller: init at 5.2.2 2017-12-29 21:55:42 +01:00
John Mercier 78d76e4b55 jbake: init at 2.5.1 2017-12-29 03:26:13 +01:00
Joe Doyle e9886dde9b csfml: init at 2.4 (#33000) 2017-12-28 22:04:02 +01:00
hyphon81 50a6403b09
maintainers: Add hyphon81 2017-12-28 17:46:44 +01:00
exfalso 9cfe7e74e0 subdl: init at 4cf5789 2017-12-26 20:53:18 +00:00
Ivan Jager 36d0180057 altcoins.aeon: init at 0.9.14.0 2017-12-22 15:20:21 -06:00
Thane Gill ede2a5768f Add Thane Gill to maintainers 2017-12-14 17:26:27 -08:00
Joachim F fbc452c836
Merge pull request #32202 from ilya-kolpakov/python-quandl 
pythonPackages.quandl: 3.0.0 -> 3.2.1
 2017-12-14 16:49:19 +00:00
Sarah Brofeldt 8f8b9f1a50
Merge pull request #32597 from Enzime/add/syncplay 
Add syncplay 1.5.0
 2017-12-12 20:54:11 +01:00
André-Patrick Bubel bd384b0ae9 maintainers: Add moredread 2017-12-12 14:32:12 +01:00
Michael Hoang a1ab4788dd syncplay: init at 1.5.0 2017-12-13 00:06:12 +11:00
Pierre-Étienne Meunier a13fc5f4cc maintainers.nix: add pmeunier 2017-12-12 04:58:45 -06:00
Orivej Desh c7bf1b8a0e
Merge pull request #32036 from mbode/flink-1_3_2 
flink: init at 1.3.2
 2017-12-09 17:53:57 +00:00
Nadrieril 8851ef84c8 firefox.syncserver service: Add nadrieril to maintainers 2017-12-08 22:18:57 +00:00
Pascal Wittmann ae7e3a3a41
Merge pull request #32378 from markuskowa/master 
airspy: init at 1.0.9
 2017-12-07 12:38:38 +01:00
John Ericson cc20d402d4
Merge pull request #32361 from obsidiansystems/gcc-simplify-flags 
gcc: Simplify configure flags
 2017-12-07 00:59:49 -05:00
Izorkin 3025eb446b
mydumper: init at 0.9.3 2017-12-07 09:41:32 +08:00
Markus Kowalewski e832834a14 airspy: init at 1.0.9 2017-12-06 00:37:05 -08:00
John Ericson 43d5c5d6db Merge commit '703a9f93c1254f7bdf0350ca0462de0d78033c62' into gcc-simplify-flags 2017-12-05 17:58:16 -05:00
John Ericson 992bd2f6d3 Merge commit 'ab77a6bb1e7d2ff475210ad392f1a9bd1bb6ba3a' into gcc-simplify-flags 2017-12-05 17:41:15 -05:00
John Ericson 93cd0685c5 Merge commit '71186e73455a4e06e96a31da34b76f84e545ba1f' into gcc-simplify-flags 2017-12-05 17:09:41 -05:00
John Ericson c8d435476d lib: Unbreak pogoplug example platform 
Vendor needed to be made valid
 2017-12-05 14:17:00 -05:00
Bert Moens b8b7428a81 pcscd: add plugin for ACS ACR38U smart card reader 2017-12-05 20:11:17 +01:00
John Ericson 1fe9798ac2 lib, gcc: No inherit (platform) gcc; in {host,build,target}Platform 2017-12-05 13:52:20 -05:00
Ryan Trinkle 83048c4fe0 nixpkgs.lib: Add types.strMatching 2017-12-02 13:28:00 -05:00
Ryan Trinkle 6281eb123b nixpkgs.lib: Add escapeNixString 2017-12-02 13:28:00 -05:00
Jörg Thalheim ae096444a2
simgrid: 3.15 -> 3.17 (#32114) 
* simgrid: 3.15 -> 3.17 + clean + add options

* Add myself as maintainer

* Fix typo
 2017-12-01 22:14:24 +00:00
Ingolf Wagner 4896b37236
maintainers: changed email and nice of maintainer mrVanDalo 2017-12-01 13:10:55 -03:00
Maximilian Bode ea37640791 flink: init at 1.3.2 2017-11-29 02:01:32 +00:00
Mike Playle 3aecf95548 libamqpcpp: init at 2.7.4 2017-11-29 01:54:32 +00:00
Ilya Kolpakov 3e7a07b7a8 maintainers: add ilya-kolpakov <ilya.kolpakov@gmail.com> 2017-11-28 09:33:22 +01:00
MERCIER Michael 8fa00adf1a Add myself as maintainer 2017-11-27 17:58:49 +01:00
Renaud 819d089772
Merge pull request #31538 from c0bw3b/pkg/libsmbios 
libsmbios: 2.3.2 -> 2.3.3
 2017-11-26 18:19:14 +01:00
Christian Kögler 88df1a6374 maintainers: add ck3d 
Closes #32047
 2017-11-26 00:45:43 +00:00
Jörg Thalheim 428f52e2d9
Merge pull request #31956 from xaverdh/master 
oneko: init at 1.2.5
 2017-11-25 16:01:56 +00:00
Renaud 9083624cfc lib.licenses: add Open Software License 
OSL and derivatives (AFL and NPOSL)
 2017-11-25 16:08:17 +01:00
Thomas Kim Pham bd1864aec9 kompose: init at 1.5.0 (#32026) 2017-11-25 14:24:52 +00:00
Jörg Thalheim b0bf60a4e2
Merge pull request #32010 from pcarrier/pcarrier/minijail 
minijail: init at android-8.0.0_r34
 2017-11-25 10:09:09 +00:00
Pierre Carrier cb05c04f4e minijail: init at android-8.0.0_r34 2017-11-25 00:27:00 -05:00
Vladimír Čunát 7dfa97969a
Merge branch 'staging' (older one) 
Hydra seems OK-ish, except that some aarch64 jobs need restarting
after qt4 timing out for the first time:
https://hydra.nixos.org/eval/1412641?compare=1412561
 2017-11-24 18:36:54 +01:00
Yurii Rashkovskii fcec492c62 gdbgui: init at 0.9.0.1 
Feature rich browser-based frontend with data structure visualizations
(like DDD), and gdb terminal access. Compatible with C, C++, golang,
Rust, fortran. Written in Python and JavaScript

gdbgui is at the top of the GDB Front Ends
list on https://sourceware.org/gdb/wiki/GDB%20Front%20Ends
 2017-11-23 20:19:54 +07:00
Dominik Xaver Hörl ecdc401cc3 oneko: init at 1.2.5 2017-11-23 14:07:20 +01:00
Profpatsch 8e00dcd242 lib/generators: add mkValueString to mkKeyValueDefault generator 
This means the generation of values can now be influenced, even down from e.g.
an INI generator.
Breaks the interface of `mkKeyValueDefault` to match its interface to other
generator functions. It might me sensible to rename `mkKeyValue` and
`mkKeyValueSet` to conform to the `toX`-style of generator functions.
 2017-11-22 21:53:59 +01:00
Thomas Strobel c4aa4572f8 new license: Open Software License 3.0 2017-11-22 12:14:23 +01:00
Orivej Desh b8e1e7191e Merge branch 'master' into staging 
* master: (80 commits)
  lkl: Supports aarch64
  wimlib: nitpicks
  gitAndTools.git-codeowners: 0.1.1 -> 0.1.2
  wimlib: init at 1.12.0
  kernel: improve modDirVersion error message
  releaseTools.sourceTarball: Clean up temporary files
  dotnetPackages.SmartIrc4net: rehash source
  migmix: make it a fixed-output derivation
  vm: Create /dev/full
  samba: 4.6.8 -> 4.6.11 to address CVEs CVE-2017-14746 & CVE-2017-15275
  microcodeIntel: 20170707 -> 20171117
  sshd: Remove ripemd160 MACs
  kernel config: Enable MEDIA_CONTROLLER
  linux: 4.4.99 -> 4.4.100
  linux: 4.9.63 -> 4.9.64
  nix-bash-completions: 0.4 -> 0.5
  linux: 4.14 -> 4.14.1
  linux: 4.13.14 -> 4.13.15
  nix-zsh-completions: 0.3.3 -> 0.3.5
  dns-root-data: use a stable URL that I maintain anyway
  ...
 2017-11-21 22:48:36 +00:00
Eshin Kunishima 05ce88e6dd
migmix: init at 20150712 2017-11-21 20:28:27 +09:00
Orivej Desh 3c81b7639a lib: delete reference to lib/sandbox.nix 
after it was deleted in 0fe7bde3d8
 2017-11-19 10:19:21 +00:00
Orivej Desh daf8311ce1 Revert "lib: delete reference to lib/sandbox.nix" 
This reverts commit 9ee089ae05.

0fe7bde3d8 is not in master yet and it would break
master if it were: https://github.com/NixOS/nixpkgs/pull/31803#pullrequestreview-77638434
 2017-11-19 10:14:07 +00:00
Orivej Desh 9ee089ae05 lib: delete reference to lib/sandbox.nix 
after it was deleted in 0fe7bde3d8
 2017-11-19 09:03:43 +00:00
Orivej Desh b089c21506 Merge branch 'master' into staging 
* master: (39 commits)
  python.pkgs.pybfd: move to python-modules
  documentation: python 2.6 is no more
  documentation: python3Packages is python36Packages
  wireguard: 0.0.20171101 -> 0.0.20171111
  php_excel: init at 1.0.2
  libxl: init at 3.8.1
  matrix-synapse: 0.24.1 -> 0.25.1
  grafana: 4.6.1 -> 4.6.2
  linux: 4.4.98 -> 4.4.99
  linux: 4.9.62 -> 4.9.63
  linux: 4.13.13 -> 4.13.14
  nixos/zsh: add the type for enableAutosuggestions option
  zsh-powerlevel9k: init at 2017-11-10
  fio: 3.1 -> 3.2
  filebench: rehash source
  nano: 2.8.7 -> 2.9.0
  bonnie: replace dead source link
  less: 520 -> 529
  strace: 4.19 -> 4.20
  iperf: 3.2 -> 3.3
  ...
 2017-11-19 08:30:14 +00:00
Pierre Chevalier 81ea7d2dcb zsh-powerlevel9k: init at 2017-11-10 
To use, add this option to your configuration.nix:
`programs.zsh.promptInit = "source ${pkgs.zsh-powerlevel9k}/share/zsh-powerlevel9k/powerlevel9k.zsh-theme";`
 2017-11-18 21:27:04 +00:00
Orivej Desh 1161741351 Merge branch 'master' into staging 
* master: (28 commits)
  go_1_9: skip flaky TestWaitGroupMisuse2
  erlangR18: fix patch hashes with fetchpatch
  xml2: replace dead links
  nixos/pam: fix docs about path to u2f_keys file
  cinelerra: add a note about parallel building
  msmtp: install docs and examples (#31769)
  kernel: Fix out-of-tree modules on aarch64
  nixos/tests/acme: update terms of service to fix test
  gixy: init at 0.1.8
  pythonPackages.ConfigArgParse: 0.9.3 -> 0.12.0, refactor, move to python-modules
  mono: init at 4.8
  wal-g: fix license so not to break evaluation
  wal-g: init at 0.1.2
  maintainers: add backuitist
  nixos/prometheus: Correct documentation for external_labels
  spidermonkey: replace broken links
  vagrant: removed custom rake gem
  vagrant: 2.0.0 -> 2.0.1
  nixos/prometheus: add external_labels option
  nixos/prometheus: add scrape_configs.honor_labels
  ...
 2017-11-17 18:06:22 +00:00
Orivej Desh d7aefea2ef maintainers: add backuitist 2017-11-17 12:23:44 +00:00
Orivej Desh d99a2fc093 Merge branch 'master' into staging 
* master: (293 commits)
  go_1_9: skip flaky TestServerCancelsReadTimeoutWhenIdle
  qsyncthingtray: fix build
  qt56.qtwebengine: fix build
  stdman: d860212 -> 2017.04.02
  jackett: use mono50
  hg-git: disable with python3
  hg-git: 0.8.5 -> 0.8.10
  xfce4-settings: enable parallel building
  gcc-snapshot: mark as broken
  heaptrack: 2017-02-14 -> 2017-10-30
  nixos-container: Modify existing test to cover show-ip command
  nixos-container: Make show-ip work together with ipv4 + netmask
  linux-copperhead: 4.13.12.a -> 4.13.13.a
  matterbridge: 1.1.0 -> 1.4.1
  nixos/nghttpx: add module for the nghttpx proxy server (#31680)
  mattermost: 4.3.0 -> 4.4.0
  breakpad: delete
  simp_le: 0.2.0 -> 0.6.1
  certbot: 0.11.1 -> 0.19.0
  afl: 2.51b -> 2.52b
  ...
 2017-11-17 05:35:09 +00:00
Samuel Leathers 07bd44b558
dotty: init at 0.4.0-RC1 2017-11-15 11:13:39 -05:00
Dan Peebles 0fe7bde3d8 Delete lib/sandbox.nix for now 2017-11-14 21:51:40 -05:00
Parnell Springmeyer 342dc3a628
maintainers: Add ixmatus to the maintainers set 2017-11-14 20:48:46 -06:00
Dan Haraj 08508f5319 absl-py: init at 0.1.3 2017-11-14 14:37:53 -05:00
Franz Pletz 6806dd36e1
Merge pull request #31420 from ChengCat/chengcat 
vista-fonts-chs: init at 1
 2017-11-14 12:21:33 +01:00
Yucheng Zhang 55ec8e1881 vista-fonts-chs: init at 1 2017-11-14 20:05:32 +08:00
Karol Chmist e8c8163f33 [CodeReview] Added suggestions by yegortimoshenko 2017-11-13 14:10:18 +01:00
aszlig cc17b42dc7
lib/maintainers: Update my email address 
I'm no longer employed there and I'll phase out the address in the near
future.

Signed-off-by: aszlig <aszlig@nix.build>
 2017-11-13 10:14:10 +01:00
John Ericson c0a04ec2f5 libiberty: Add dev output 2017-11-13 00:30:53 -05:00
Jonas Höglund 416d5cf484 maintainers: add FireyFly 2017-11-12 23:36:33 +01:00
Mathias Schreck b627615602 git-secret: init at 0.2.2 (#31486) 
* Add lo1tuma to maintainers

* git-secret: init at 0.2.2

* gitAndTools.git-secret: man page in correct directory
 2017-11-10 23:12:41 +00:00
Vladimír Čunát e62e4c1e4a
Merge #31210: licenses.ffsl: it's non-free 2017-11-10 19:46:21 +01:00
Drew Hess 67ba83a934 kernel: add beagleboard.org kernel 
And update the existing platform variant to use it
 2017-11-09 18:28:14 +02:00
Sergey Alexandrov 1f5c2833e9 mpdas: init at 0.4.4 (#31398) 
* mpdas: init at 0.4.4

* mpdas: read config from /etc instead from nix store
 2017-11-08 21:28:53 +00:00
Tom Macdonald 7b8e40c6b1 procodile: init at 1.0.17 2017-11-07 17:04:50 +01:00
Tor Hedin Brønner 6949cfa58e nix-zsh-completions: 0.3.1 -> 0.3.2 
Adds support for nix1.12 and various improvements.
 2017-11-06 19:07:36 +01:00
Sean Zicari 0711fe96f2 xosview2: init at 2.2.2 (#30629) 2017-11-06 09:55:23 +08:00
Michael Raskin 6475fa9b25
Merge pull request #31298 from timokau/sage-fix 
sage: 6.8 -> 8.0
 2017-11-06 01:25:28 +00:00
Timo Kaufmann fe68ba81d2 sage: 6.8 -> 8.0 
This "un-breaks" sage while also updating it to 8.0.

It compiles sage with its dependencies as one big pile, which is not
the best approach but definately better than nothing for now.

To be able to shrink the huge output pile a little, it also splits
docs from the rest of the output.
 2017-11-05 17:37:40 -06:00
Tuomas Tynkkynen 8c190c3f7d lib/types.nix: Disable 32-bit integer types for now 
This file doesn't evaluate in 32-bit versions of Nix because the integer
type is a signed 32-bit integer there, so 4294967296 causes an 'invalid
integer' error.  I see no other way around than commenting this out :(

(s32 could be made to work by tweaking the expressions a bit, but didn't
do that for now since it'd be asymmetric to have s32 but no u32).
 2017-11-05 22:47:09 +02:00
Tuomas Tynkkynen 0d9f2f0bb4 platforms.nix: Clean up more 'uboot' legacy 
For a while now, the only thing the 'uboot' attribute does is to tell
whether to add ubootTools to kernel/initrd builds. That can be
determined with platform.kernelTarget == "uImage" just as well.
 2017-11-05 17:06:59 +02:00
Profpatsch 213bd2847b lib/types: fix up documentation formatting a bit 2017-11-05 15:56:32 +01:00
Profpatsch 462c048c77 lib/types: add ints.positive. 
For values that are positive, but cannot be 0.
 2017-11-05 15:56:32 +01:00
Profpatsch 1158910676 lib/types: match lowercase descriptions of other types 2017-11-05 15:56:32 +01:00
Profpatsch c85f085062 lib/types: update docs to match the new type names 2017-11-05 15:56:32 +01:00
Profpatsch f8e6cd3465 lib/types: add tests for ints.between and ints.unsigned 
The int types are trivial invocations of `ints.between`, so they are not tested
explicitely.
 2017-11-05 15:56:32 +01:00
Profpatsch 77648da233 lib/types: signed -> s, unsigned -> u, remove signed alias 
Mirrors the way it’s done in modern low-level languages like Rust (by input of
@nbp).
Removes the signed alias for int.
 2017-11-05 15:56:32 +01:00
Profpatsch 7fcd3892a9 lib/types: remove port type again 
Will be introduced as a taggedUnion, once that type is in nixpkgs.
 2017-11-05 15:56:32 +01:00
Profpatsch c776489cac lib/types: add port type 2017-11-05 15:56:32 +01:00
Profpatsch 281d071b6a lib/types: add various signed/unsigned int types 
It is sometimes necessary to restrict the domain of integers for configurations,
as well as restricting them to unsigned/positive values.
 2017-11-05 15:56:32 +01:00
Profpatsch af424a607c lib/modules: Change type error to be gramatically nicer 
Before:
  <x> is not a integer between 0 and 100 (inclusively).
(notice that “a” is wrong, it should be “an”)
Now:
  <x> is not of type `integer between 0 and 100 (inclusively)'.

This sounds a bit more formal, but circumvents the grammatical problems.
Multi-word type descriptions are also easier to see.
 2017-11-05 15:56:32 +01:00
Profpatsch c53d874277 lib/types: add intBetween 
An int type that checks the value range.
 2017-11-05 15:56:32 +01:00
Michael Raskin 7be7698612
Merge pull request #25552 from antonxy/master 
lightworks: init at 14.0.0
 2017-11-05 00:01:48 +00:00
Keshav Kini 0094ca20cc acl2: 6.5 -> 7.4, refactor 
The `make regression` line was failing because the expression was
downloading a core-system-only, no-libraries source tarball.  I
switched to using fetchFromGitHub, which downloads the full source
code -- the core system as well as the "community books",
i.e. libraries -- but the libraries unfortunately do not build yet
because they have more dependencies than the core system, and they
also run into some impurity problems during the build process.

This commit changes the ACL2 package so that at least the user will
obtain the latest version of the core system, even though they won't
get the community books.  In a later commit I hope to fix this; it
will require either changes to ACL2 itself, or a patch to be applied
to ACL2 in nixpkgs.

ACL2 7.4 has no trouble building on the current version of SBCL in
nixpkgs, so I let it do so instead of using the ancient SBCL version
1.2.0 from 2014.

I also added myself as a maintainer to this package, since I'm an
active contributor to the ACL2 project and am interested in seeing it
working on Nix.
 2017-11-04 13:48:22 -07:00
Renaud 27114d45ae
stdenv.lib.maintainers: add c0bw3b 2017-11-04 19:56:04 +01:00
Orivej Desh 3ea077e638
Merge pull request #30942 from andrestylianos/joker 
joker: init at 0.8.6
 2017-11-04 07:09:56 +00:00
André Stylianos Ramos 49e0be1d4d joker: init at 0.8.6 2017-11-04 06:36:16 +01:00
Frank Doepper 9bda3f2943 licenses.ffsl: non-free 
FFSL forbids commercial redistribution
 2017-11-03 22:42:25 +01:00
Richard Marko d1491f490f add sorki to maintainers 2017-11-02 22:19:35 +01:00