about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/isabelle/default.nix
AgeCommit message (Collapse)AuthorFilesLines
2023-10-06isabelle: 2022 -> 2023Jan van Brügge1-6/+5
2023-03-07isabelle: add aarch64-linux supportWeijia Wang1-5/+15
2022-12-06isabelle: fix build on MacOSJan van Brügge1-2/+3
2022-12-03isabelle: use prebuilt z3Jan van Brügge1-14/+8
Isabelle requires this specific version of z3 which is being removed from nixpkgs due to requiring python2 for its build. We can work around this by patching the distributed binary
2022-12-03isabelle: make withComponents function use finalAttrsJan van Brügge1-6/+6
Before this change ``` (isabelle.overrideAttrs ( /* whatever */ )).withComponents (/* whatever */) ``` would ignore the `overrideAttrs` and use the normal `isabelle` derivation instead. This commit fixes this
2022-10-31isabelle: 2021-1 -> 2022Jan van Brügge1-17/+42
2022-06-23Merge pull request #176823 from ↵Rick van Schijndel1-0/+4
risicle/ris-native-source-provenance-applications treewide/applications: add `sourceType` `binaryNativeCode` for many packages
2022-06-23treewide/applications: add `sourceType` `binaryNativeCode` for many packagesRobert Scott1-0/+4
2022-06-23isabelle: Fix build on darwinShea Levy1-4/+12
2022-04-20isabelle: Make closer to upstreamJan van Brügge1-2/+31
This makes isabelle use the versions of polyml and z3 that are also used upstream. Additionally it packages the sha1 library that isabelle uses. Co-authored-by: 1000teslas <47207223+1000teslas@users.noreply.github.com>
2022-03-23isabelle: Add isabelle-linter as optional componentJan van Brügge1-1/+26
2022-03-01isabelle: Use naproche from nixpkgsJan van Brügge1-2/+3
2022-03-01Merge pull request #157843 from jvanbruegge/isabelle_setupGabriel Ebner1-1/+23
isabelle: Rebuild isabelle_setup.jar
2022-02-25treewide: switch all desktop file generators to new APIK9001-1/+1
Notably: - remove explicit arguments that match the defaults - convert everything to the right Nix types
2022-02-14isabelle: Rebuild isabelle_setup.jarJan van Brügge1-1/+23
This jar contained a call to /usr/bin/env bash which was causing an error during the build of the HOL session (which could be ignored) and caused other errors during the development of https://github.com/NixOS/nixpkgs/pull/157515 (which could not be ignored). This commit patches the java sources to call `bash` directly and rebuild the jar.
2022-01-19maintainers: add jvanbrueggeJan van Brügge1-1/+1
2022-01-19isabelle: Prebuild HOL sessionJan van Brügge1-1/+11
Upstream isabelle ships with this session, but the changes done for nixpkgs invalidate it, requiring every user to build it again.
2022-01-11isabelle: patch jni libs for nitpick1000teslas1-12/+19
2022-01-11isabelle: patch zipperposition binary1000teslas1-1/+1
2022-01-02isabelle: Use vampire and eprover from nixpkgsJan van Brügge1-5/+15
It also removes the unused perl input
2021-12-31isabelle: 2021 -> 2021-1Jan van Brügge1-8/+10
2021-07-19isabelle: Add desktop entryJan van Brügge1-1/+18
2021-07-18isabelle: 2020 -> 2021Jan van Brügge1-3/+5
2021-02-19treewide: makeWrapper buildInputs to nativeBuildInputsBen Siraphob1-1/+2
2021-01-28isabelle: provide perl LWP for remote_vampireJakub Kądziołka1-2/+4
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-1/+1
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
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
2020-06-05FixupSohalt1-1/+1
Co-authored-by: puzzlewolf <23097564+puzzlewolf@users.noreply.github.com>
2020-05-10Correct licensesohalt1-4/+4
2020-05-10use httpssohalt1-2/+2
2020-05-08isabelle: 2018 -> 2020sohalt1-6/+6
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-03-14isabelle: refactorGabriel Ebner1-17/+17
Fixes #33337
2019-03-12isabelle: 2017 -> 2018Gabriel Ebner1-12/+17
2018-08-30reewide: Purge all uses `stdenv.system` and top-level `system`John Ericson1-1/+1
It is deprecated and will be removed after 18.09.
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger1-1/+1
* treewide: http -> https sources This updates the source urls of all top-level packages from http to https where possible. * buildtorrent: fix url and tab -> spaces
2017-10-10isabelle: 2016-1 -> 2017Gabriel Ebner1-4/+8
2017-01-11isabelle: 2016 -> 2016-1Etienne Laurin1-9/+15
2016-08-02treewide: Add lots of meta.platformsTuomas Tynkkynen1-0/+1
Build-tested on x86_64 Linux & Mac.
2016-02-23isabelle: 2015 -> 2016Gabriel Ebner1-15/+12
2016-02-03isabelle: 2014 -> 2015Sven Keidel1-7/+8
Picked from #8510. /cc maintainer @jwiegley.
2015-06-21Isabelle: fix download URLVincent Laporte1-2/+2
2015-01-08Revert "Introduce patchShebangsPhase ran in preConfigurePhases"Domen Kožar1-0/+1
This reverts commit 512fbb280f72980e84230b72b631258df1755919. See #5368
2015-01-02Introduce patchShebangsPhase ran in preConfigurePhasesDomen Kožar1-1/+0
(cherry picked from commit 91c7e8747af1fdc2a70cd98594ccbb12a5c6902d) Signed-off-by: Domen Kožar <domen@dev.si>
2014-09-30isabelle: Version 2014 building on Linux and DarwinJohn Wiegley1-3/+8
2014-09-30isabelle: Another Linux hash change?John Wiegley1-1/+1
2014-09-30isabelle: Remove Linux patches (is this correct?)John Wiegley1-3/+1
2014-09-30isabelle: Correct the 2014 sha value for LinuxJohn Wiegley1-1/+1
2014-09-30isabelle: 2013 -> 2014, plus add darwin supportJohn Wiegley1-12/+17
2013-06-07Add package versions to some of the packages or fix existing ones to conform ↵Evgeny Egorochkin1-7/+8
to nixpkgs conventions.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-02 21:26:35 +0000