about summary refs log tree commit diff
path: root/pkgs/development/compilers/souffle
AgeCommit message (Collapse)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
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-05-24pkgs/development: remove unused fetchpatch argumentsSigmanificient1-1/+1
2023-11-16Merge #263535: staging-next 2023-10-26Vladimír Čunát1-0/+4
2023-11-16souffle: 2.4 -> 2.4.1R. Ryantm1-2/+2
2023-11-11souffle: fix build with clang 16Weijia Wang1-0/+4
2023-05-21souffle: 2.3 -> 2.4Ben Gamari1-7/+2
2023-01-19souffle: add darwin support (#208373)Brian J. Cardiff2-2/+43
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-07-30souffle: 2.2 -> 2.3R. Ryantm1-2/+2
2022-05-30treewide: pkgs/development/compilers: mark broken for darwinRick van Schijndel1-0/+1
2022-03-23souffle: 2.0.2 -> 2.2 (#164103)Nathan van Doorn1-27/+8
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2021-11-19souffle: pull pending upstream inclusion fix for ncurses-6.3Sergei Trofimovich1-2/+12
Without the fix build on ncurses-6.3 fails as: src/include/souffle/provenance/Explain.h:522:18: error: format not a string literal and no format arguments [-Werror=format-security] 522 | mvwprintw(queryWindow, 1, 0, prompt.c_str()); | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob1-3/+3
2020-11-12souffle: 2.0.1 -> 2.0.2R. RyanTM1-2/+2
2020-07-31souffle: 2.0.0 -> 2.0.1R. RyanTM1-2/+2
2020-06-30souffle: 1.7.1 -> 2.0.0Luc Tielen1-2/+2
2020-01-22treewide: fix redirected urlsPatrick Hilhorst1-1/+1
According to https://repology.org/repository/nix_unstable/problems, we have a lot of packages that have http links that redirect to https as their homepage. This commit updates all these packages to use the https links as their homepage. The following script was used to make these updates: ``` curl https://repology.org/api/v1/repository/nix_unstable/problems \ | jq '.[] | .problem' -r \ | rg 'Homepage link "(.+)" is a permanent redirect to "(.+)" and should be updated' --replace 's@$1@$2@' \ | sort | uniq > script.sed find -name '*.nix' | xargs -P4 -- sed -f script.sed -i ```
2019-12-06souffle: 1.7.0 -> 1.7.1Luc Tielen1-2/+2
2019-11-30souffle: 1.6.1 -> 1.7.0Luc Tielen1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname
2019-08-05souffle: 1.5.1 -> 1.6.1R. RyanTM1-2/+2
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/souffle/versions
2019-03-12souffle: 1.2.0 -> 1.5.1, co-maintainAustin Seipp1-15/+28
Souffle has seen some significant upgrades in the past few years and now has trimmed and replaced several of its more expensive dependencies, such as boost, openjdk, etc. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-1/+1
2018-05-07souffle: fix on darwinMatthew Bauer1-8/+7
Fixes #39854
2018-05-01souffle: 1.0.0 -> 1.2.0wchresta1-11/+7
2017-10-22souffle: Disable parallel buildingTuomas Tynkkynen1-1/+2
https://hydra.nixos.org/build/62750790
2016-09-06souffle: work around hardening bug on linuxDan Peebles1-0/+3
2016-09-06souffle: init at 1.0.0Dan Peebles1-0/+41