Weijia Wang
3e5f408e73
isabelle: add aarch64-linux support
2023-03-07 18:20:46 +02:00
Jan van Brügge
698c7342b7
isabelle: fix build on MacOS
2022-12-06 18:05:26 +00:00
Jan van Brügge
26c369214e
isabelle: use prebuilt z3
...
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-03 18:34:13 +00:00
Jan van Brügge
d5299641bb
isabelle: make withComponents function use finalAttrs
...
Before this change
```
(isabelle.overrideAttrs (
/* whatever */
)).withComponents (/* whatever */)
```
would ignore the `overrideAttrs` and use the normal `isabelle`
derivation instead. This commit fixes this
2022-12-03 16:40:53 +00:00
Jan van Brügge
fa28ed4858
isabelle-linter: 2021-1 -> 2022-09-05
2022-10-31 20:06:03 +00:00
Jan van Brügge
f6b110fb50
isabelle: 2021-1 -> 2022
2022-10-31 20:06:00 +00:00
Rick van Schijndel
c100196b08
Merge pull request #176823 from risicle/ris-native-source-provenance-applications
...
treewide/applications: add `sourceType` `binaryNativeCode` for many packages
2022-06-23 20:55:09 +02:00
Robert Scott
466c2e342a
treewide/applications: add sourceType
binaryNativeCode
for many packages
2022-06-23 18:38:19 +01:00
Shea Levy
c4f2260cdb
isabelle: Fix build on darwin
2022-06-23 13:24:53 -04:00
Jan van Brügge
9aa4c5dbfc
isabelle: Make closer to upstream
...
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-04-20 11:22:43 +02:00
Jan van Brügge
0391279c24
isabelle: Add isabelle-linter as optional component
2022-03-23 14:47:21 +01:00
Jan van Brügge
c1ef185bdb
isabelle: Use naproche from nixpkgs
2022-03-01 13:43:38 +01:00
Gabriel Ebner
8934eb7c91
Merge pull request #157843 from jvanbruegge/isabelle_setup
...
isabelle: Rebuild isabelle_setup.jar
2022-03-01 12:11:25 +01:00
K900
cb2cfba6f7
treewide: switch all desktop file generators to new API
...
Notably:
- remove explicit arguments that match the defaults
- convert everything to the right Nix types
2022-02-25 13:40:38 -08:00
Jan van Brügge
75f5b1f5b2
isabelle: Rebuild isabelle_setup.jar
...
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-02-14 15:17:58 +01:00
Jan van Brügge
d653b33f20
maintainers: add jvanbruegge
2022-01-19 18:25:27 +01:00
Jan van Brügge
6fff929c5e
isabelle: Prebuild HOL session
...
Upstream isabelle ships with this session, but the changes done for
nixpkgs invalidate it, requiring every user to build it again.
2022-01-19 18:25:26 +01:00
1000teslas
a4b6785de9
isabelle: patch jni libs for nitpick
2022-01-11 21:09:27 +11:00
1000teslas
d9d30199ec
isabelle: patch zipperposition binary
2022-01-11 11:55:38 +11:00
Jan van Brügge
c601134af8
isabelle: Use vampire and eprover from nixpkgs
...
It also removes the unused perl input
2022-01-02 20:53:33 +01:00
Jan van Brügge
4b9c0cb005
isabelle: 2021 -> 2021-1
2021-12-31 13:01:41 +01:00
Jan van Brügge
e32da890c9
isabelle: Add desktop entry
2021-07-19 12:04:30 +02:00
Jan van Brügge
9111bd40b2
isabelle: 2020 -> 2021
2021-07-18 23:51:36 +02:00
Ben Siraphob
e03c068af5
treewide: makeWrapper buildInputs to nativeBuildInputs
2021-02-19 20:09:16 +07:00
Jakub Kądziołka
df410f8de7
isabelle: provide perl LWP for remote_vampire
2021-01-28 11:05:39 +01:00
Ben Siraphob
badf51221d
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07: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
Sohalt
877af72161
Fixup
...
Co-authored-by: puzzlewolf <23097564+puzzlewolf@users.noreply.github.com>
2020-06-05 12:44:13 +02:00
sohalt
7bf616dd77
Correct license
2020-05-10 00:49:56 +02:00
sohalt
9ec71eb051
use https
2020-05-10 00:46:00 +02:00
sohalt
de81e8b961
isabelle: 2018 -> 2020
2020-05-08 00:33:03 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Gabriel Ebner
be261a1ede
isabelle: refactor
...
Fixes #33337
2019-03-14 11:48:30 +01:00
Gabriel Ebner
c7f43de43c
isabelle: 2017 -> 2018
2019-03-12 14:32:48 +01:00
John Ericson
2c2f1e37d4
reewide: Purge all uses stdenv.system
and top-level system
...
It is deprecated and will be removed after 18.09.
2018-08-30 17:20:32 -04:00
Silvan Mosberger
57bccb3cb8
treewide: http -> https sources ( #42676 )
...
* 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
2018-06-28 20:43:35 +02:00
Gabriel Ebner
a936d9d6dc
isabelle: 2016-1 -> 2017
2017-10-10 11:18:57 +02:00
Etienne Laurin
3d301e384e
isabelle: 2016 -> 2016-1
2017-01-11 17:33:04 -05:00
Tuomas Tynkkynen
21f17d69f6
treewide: Add lots of meta.platforms
...
Build-tested on x86_64 Linux & Mac.
2016-08-02 21:42:43 +03:00
Gabriel Ebner
87b0a41ac5
isabelle: 2015 -> 2016
2016-02-23 14:19:13 +01:00
Sven Keidel
ca21ae0eda
isabelle: 2014 -> 2015
...
Picked from #8510 . /cc maintainer @jwiegley.
2016-02-03 13:51:35 +01:00
Tobias Geerinckx-Rice
32d40f0f98
Remove no longer (or never) referenced patches
...
55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.
2016-01-24 02:02:21 +01:00
Vincent Laporte
542d20384f
Isabelle: fix download URL
2015-06-21 00:45:38 +02:00
Domen Kožar
9b7b2ce8eb
Revert "Introduce patchShebangsPhase ran in preConfigurePhases"
...
This reverts commit 512fbb280f
.
See #5368
2015-01-08 10:26:49 +01:00
Domen Kožar
512fbb280f
Introduce patchShebangsPhase ran in preConfigurePhases
...
(cherry picked from commit 91c7e8747af1fdc2a70cd98594ccbb12a5c6902d)
Signed-off-by: Domen Kožar <domen@dev.si>
2015-01-02 02:58:32 +01:00
John Wiegley
10e215a3ae
isabelle: Version 2014 building on Linux and Darwin
2014-09-30 23:15:31 -05:00
John Wiegley
57b292fb1b
isabelle: Another Linux hash change?
2014-09-30 16:44:15 -05:00
John Wiegley
5a7ce1185b
isabelle: Remove Linux patches (is this correct?)
2014-09-30 16:41:47 -05:00
John Wiegley
8d9cd1557b
isabelle: Correct the 2014 sha value for Linux
2014-09-30 16:15:34 -05:00
John Wiegley
db690f28a3
isabelle: 2013 -> 2014, plus add darwin support
2014-09-30 12:57:30 -05:00