summary refs log tree commit diff
path: root/pkgs/development/idris-modules
Commit message (Collapse)AuthorAge
* Merge pull request #122181 from divanorama/patch-2Silvan Mosberger2021-05-09
|\ | | | | idrisPackages.data: remove broken package at 2018-03-19
| * idrisPackages.data: remove broken package at 2018-03-19divanorama2021-05-08
| | | | | | | | | | | | | | | | | | 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
* | idrisPackages.sdl2: fix sources sha256divanorama2021-05-08
|/ | | | | | | | | | | | | | | This is weird b7ddbd52bd1ab9365436573c0c5b6d1edcc1919f 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
* treewide: remove stdenv where not neededPavol Rusnak2021-01-25
|
* treewide: editorconfig fixeszowoq2021-01-20
| | | | | - remove trailing whitespace - use spaces for indentation
* treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer2021-01-19
| | | | | | | | | | | | | 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.
* pkgs/development: stdenv.lib -> libPavol Rusnak2021-01-17
| | | | | | | | | | | | 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
* idris-modules: add final newline to TODO.mdSamuel Gräfenstein2020-11-09
|
* Merge master into staging-nextFrederik Rietdijk2020-06-04
|\
| * treewide: replace SRI hashesDaiderd Jordan2020-06-01
| |
* | *-wrapper; Switch from `infixSalt` to `suffixSalt`John Ericson2020-05-12
|/ | | | | | | 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.
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
|
* idrisPackages: add tf-random packageMike Sperber2020-03-20
|
* idrisPackages.tparsec: 2019-09-19 -> 2020-02-11Alex Gryzlov2020-02-17
|
* idrisPackages.tparsec: 2019-06-18 -> 2019-09-19Alex Gryzlov2019-12-15
|
* idrisPackages.heyting-algebra: removeKierán Meinhardt2019-09-24
|
* idrisPackages.heyting-algebra: mark as brokenKierán Meinhardt2019-09-24
| | | | | The functionality provided by this package has been added to the Idris contrib library (module `Interfaces.Verified`). Therefore identifiers cannot be disambiguated anymore.
* add options for build idris package (#65666)Silvan Mosberger2019-08-07
|\ | | | | add options for build idris package
| * build-idris-package: add options for idris commandsMarco Perone2019-08-06
| |
* | idrisPackages: Fix overrides not applyingSilvan Mosberger2019-08-02
|/ | | | | Previously when overriding idrisPackages, it wouldn't work properly because it took idrisPackages from the pkgs set
* idrisPackages.sdl2: 2018-01-19 -> 0.1.1Steven Shaw2019-07-28
| | | | Update to latest release which unbreaks the package.
* idrisPackages.tparsec: 2018-12-21 -> 2019-06-18Alex Gryzlov2019-06-21
|
* idrisPackages.build-idris-package: Install binariesSilvan Mosberger2019-04-28
|
* Merge pull request #58320 from Infinisil/fix-idris-glfwSilvan Mosberger2019-04-28
|\ | | | | idrisPackages.glfw: Fix runtime
| * idrisPackages.glfw: Fix runtimeSilvan Mosberger2019-03-26
| | | | | | | | | | In order to run programs, pkgconfig needs to be present so it can tell it where to find glfw3 and gl.
* | idrisPackages.idris-wrapper: Use stdenv's cc instead of always gccSilvan Mosberger2019-03-26
| | | | | | | | This should make it work on Darwin with clang.
* | idrisPackages.idris-wrapper: Fix linking to gmp librarySilvan Mosberger2019-03-26
|/ | | | | | | | | | | | | This has been broken since 5d18129ce8af9a69312818ea0a5a0029a04a2255, 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.
* idrisPackages.tparsec: 2018-11-09 -> 2018-12-21TG ⊗ Θ2019-02-05
|
* idris-modules/curses.nix: deleteJakob Brünker2019-01-04
| | | | | The repository is currently unmaintained and cannot be guaranteed to work.
* idrisPackages.tparsec: 2018-06-26 -> 2018-11-09TG ⊗ Θ2018-12-20
|
* idrisPackages.{categories,derive}: Use upstream instead of forksSilvan Mosberger2018-10-26
| | | | | | These forks were introduced in https://github.com/NixOS/nixpkgs/pull/42861 to make the builds succeed. The changes have since been incorporated upstream.
* build-idris-package: ipkgNameTG x2018-09-18
|
* idrisPackages.quantities: init at 2018-04-17Imuli2018-08-04
|
* idrisPackages.graphviz: fix homepage (#44355)Imuli2018-08-02
|
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
|
* idris: prefix package derivation names with "idris-"Silvan Mosberger2018-07-16
|
* Merge pull request #42861 from Infinisil/fix/idris-forksSilvan Mosberger2018-07-08
|\ | | | | Idris packages clean ups and updates
| * build-idris-package: includePreludeBase -> noPrelude, noBaseSilvan Mosberger2018-07-05
| | | | | | | | Resembles idris --noprelude and --nobasepkgs arguments
| * idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix buildSilvan Mosberger2018-07-02
| |
| * idrisPackages.{sdl,sdl2}: Mark as brokenSilvan Mosberger2018-07-02
| |
| * idrisPackages.descncrunch: Mark as brokenSilvan Mosberger2018-07-02
| |
| * idrisPackages: Clean up packagesSilvan Mosberger2018-07-02
| |
| * idris: Clean up package builderSilvan Mosberger2018-07-02
| |
| * idrisPackages: install docsSilvan Mosberger2018-07-02
| |
* | idris: Clean up wrapperSilvan Mosberger2018-07-02
| |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-14 09:32:17 +0000