···130131 nodeHostNames = map (c: c.config.system.name) (lib.attrValues nodes);
132000133 invalidNodeNames = lib.filter
134 (node: builtins.match "^[A-z_]([A-z0-9_]+)?$" node == null)
135- (builtins.attrNames nodes);
136137 testScript' =
138 # Call the test script with the computed nodes.
···146 Cannot create machines out of (${lib.concatStringsSep ", " invalidNodeNames})!
147 All machines are referenced as python variables in the testing framework which will break the
148 script when special characters are used.
149- Please stick to alphanumeric chars and underscores as separation.
00150 ''
151 else lib.warnIf skipLint "Linting is disabled" (runCommand testDriverName
152 {
···130131 nodeHostNames = map (c: c.config.system.name) (lib.attrValues nodes);
132133+ # TODO: This is an implementation error and needs fixing
134+ # the testing famework cannot legitimately restrict hostnames further
135+ # beyond RFC1035
136 invalidNodeNames = lib.filter
137 (node: builtins.match "^[A-z_]([A-z0-9_]+)?$" node == null)
138+ nodeHostNames;
139140 testScript' =
141 # Call the test script with the computed nodes.
···149 Cannot create machines out of (${lib.concatStringsSep ", " invalidNodeNames})!
150 All machines are referenced as python variables in the testing framework which will break the
151 script when special characters are used.
152+153+ This is an IMPLEMENTATION ERROR and needs to be fixed. Meanwhile,
154+ please stick to alphanumeric chars and underscores as separation.
155 ''
156 else lib.warnIf skipLint "Linting is disabled" (runCommand testDriverName
157 {
···1-{ fetchurl, lib, mkDerivation, pkg-config, python, file, bc
2, qtbase, qtsvg, hunspell, makeWrapper #, mythes, boost
3}:
4···14 # LaTeX is used from $PATH, as people often want to have it with extra pkgs
15 nativeBuildInputs = [ pkg-config ];
16 buildInputs = [
17- qtbase qtsvg python file/*for libmagic*/ bc
18 hunspell makeWrapper # enchant
19 ];
20···3132 # python is run during runtime to do various tasks
33 qtWrapperArgs = [
34- " --prefix PATH : ${python}/bin"
35 ];
3637 meta = with lib; {
···1+{ fetchurl, lib, mkDerivation, pkg-config, python3, file, bc
2, qtbase, qtsvg, hunspell, makeWrapper #, mythes, boost
3}:
4···14 # LaTeX is used from $PATH, as people often want to have it with extra pkgs
15 nativeBuildInputs = [ pkg-config ];
16 buildInputs = [
17+ qtbase qtsvg python3 file/*for libmagic*/ bc
18 hunspell makeWrapper # enchant
19 ];
20···3132 # python is run during runtime to do various tasks
33 qtWrapperArgs = [
34+ " --prefix PATH : ${python3}/bin"
35 ];
3637 meta = with lib; {
···28 else "");
29in stdenv.mkDerivation rec {
30 pname = "signal-desktop";
31- version = "5.10.0"; # Please backport all updates to the stable channel.
32 # All releases have a limited lifetime and "expire" 90 days after the release.
33 # When releases "expire" the application becomes unusable until an update is
34 # applied. The expiration date for the current release can be extracted with:
···3839 src = fetchurl {
40 url = "https://updates.signal.org/desktop/apt/pool/main/s/signal-desktop/signal-desktop_${version}_amd64.deb";
41- sha256 = "049i4nypqr6lx8f3w32pia6cfb3pmqmvasxjb5zhp6mxb3vn7wz3";
42 };
4344 nativeBuildInputs = [
···28 else "");
29in stdenv.mkDerivation rec {
30 pname = "signal-desktop";
31+ version = "5.11.0"; # Please backport all updates to the stable channel.
32 # All releases have a limited lifetime and "expire" 90 days after the release.
33 # When releases "expire" the application becomes unusable until an update is
34 # applied. The expiration date for the current release can be extracted with:
···3839 src = fetchurl {
40 url = "https://updates.signal.org/desktop/apt/pool/main/s/signal-desktop/signal-desktop_${version}_amd64.deb";
41+ sha256 = "17r7apmsz5bvcfnf81m6jjsj17a4h7bhgy1vllwyyvaa585nspmp";
42 };
4344 nativeBuildInputs = [
···1+{ lib
2+, stdenv
3+, fetchurl
4+, texinfo
5+}:
6+7+stdenv.mkDerivation rec {
8+ pname = "marst";
9+ version = "2.7";
10+11+ src = fetchurl {
12+ url = "mirror://gnu/gnu/${pname}/${pname}-${version}.tar.gz";
13+ hash = "sha256-Pue50cvjzZ+19iJxfae7VQbxpto7MPgS4jhLh7zk2lA=";
14+ };
15+16+ nativeBuildInputs = [
17+ texinfo
18+ ];
19+20+ postBuild = ''
21+ makeinfo doc/marst.texi -o doc/marst.info
22+ '';
23+24+ postInstall = ''
25+ install -m644 doc/marst.info -Dt $out/share/info/
26+ install -m644 doc/marst.pdf -Dt $out/share/doc/${pname}/
27+ '';
28+29+ meta = with lib; {
30+ homepage = "https://www.gnu.org/software/marst/";
31+ description = "An Algol-60-to-C translator";
32+ longDescription = ''
33+ MARST is an Algol-to-C translator. It automatically translates programs
34+ written on the algorithmic language Algol 60 to the C programming
35+ language.
36+37+ The MARST package includes three main components:
38+39+ - the translator, MARST, that translates Algol 60 programs to the C
40+ programming language.
41+42+ - the library, ALGLIB, that contains precompiled standard Algol 60
43+ procedures and other necessary library routines. This library is to be
44+ used at linking stage. (In the distribution the name libalgol.a is used
45+ for this library.)
46+47+ - the converter, MACVT, that allows to convert existing Algol 60 programs
48+ from some other representations to MARST representation.
49+ '';
50+ license = licenses.gpl3Plus;
51+ maintainers = with maintainers; [ AndersonTorres ];
52+ platforms = platforms.unix;
53+ };
54+}
···1+{ lib, mkCoqDerivation, coq, mathcomp-algebra, mathcomp-finmap
2+, hierarchy-builder, version ? null }:
3+4+with lib;
5+6+mkCoqDerivation {
7+ pname = "graph-theory";
8+9+ release."0.9".sha256 = "sha256-Hl3JS9YERD8QQziXqZ9DqLHKp63RKI9HxoFYWSkJQZI=";
10+11+ releaseRev = v: "v${v}";
12+13+ inherit version;
14+ defaultVersion = with versions; switch coq.coq-version [
15+ { case = isGe "8.13"; out = "0.9"; }
16+ ] null;
17+18+ propagatedBuildInputs = [ mathcomp-algebra mathcomp-finmap hierarchy-builder ];
19+20+ meta = {
21+ description = "Library of formalized graph theory results in Coq";
22+ longDescription = ''
23+ A library of formalized graph theory results, including various
24+ standard results from the literature (e.g., Menger’s Theorem, Hall’s
25+ Marriage Theorem, and the excluded minor characterization of
26+ treewidth-two graphs) as well as some more recent results arising from
27+ the study of relation algebra within the ERC CoVeCe project (e.g.,
28+ soundness and completeness of an axiomatization of graph isomorphism).
29+ '';
30+ maintainers = with maintainers; [ siraben ];
31+ license = licenses.cecill-b;
32+ };
33+}
···10, wafHook
11}:
1213-stdenv.mkDerivation (rec {
14 pname = "talloc";
15 version = "2.3.2";
16···42 "--builtin-libraries=replace"
43 ];
440000045 # this must not be exported before the ConfigurePhase otherwise waf whines
46 preBuild = lib.optionalString stdenv.hostPlatform.isMusl ''
47 export NIX_CFLAGS_LINK="-no-pie -shared";
···57 license = licenses.gpl3;
58 platforms = platforms.all;
59 };
60-} // lib.optionalAttrs (stdenv.hostPlatform != stdenv.buildPlatform) {
61- # python-config from build Python gives incorrect values when cross-compiling.
62- # If python-config is not found, the build falls back to using the sysconfig
63- # module, which works correctly when cross-compiling.
64- PYTHON_CONFIG = "/invalid";
65-})
···10, wafHook
11}:
1213+stdenv.mkDerivation rec {
14 pname = "talloc";
15 version = "2.3.2";
16···42 "--builtin-libraries=replace"
43 ];
4445+ # python-config from build Python gives incorrect values when cross-compiling.
46+ # If python-config is not found, the build falls back to using the sysconfig
47+ # module, which works correctly in all cases.
48+ PYTHON_CONFIG = "/invalid";
49+50 # this must not be exported before the ConfigurePhase otherwise waf whines
51 preBuild = lib.optionalString stdenv.hostPlatform.isMusl ''
52 export NIX_CFLAGS_LINK="-no-pie -shared";
···62 license = licenses.gpl3;
63 platforms = platforms.all;
64 };
65+}
00000
+6
pkgs/development/libraries/tdb/default.nix
···19 };
2021 nativeBuildInputs = [
022 pkg-config
23 wafHook
24 libxslt
···37 "--bundled-libraries=NONE"
38 "--builtin-libraries=replace"
39 ];
000004041 meta = with lib; {
42 description = "The trivial database";
···19 };
2021 nativeBuildInputs = [
22+ python3
23 pkg-config
24 wafHook
25 libxslt
···38 "--bundled-libraries=NONE"
39 "--builtin-libraries=replace"
40 ];
41+42+ # python-config from build Python gives incorrect values when cross-compiling.
43+ # If python-config is not found, the build falls back to using the sysconfig
44+ # module, which works correctly in all cases.
45+ PYTHON_CONFIG = "/invalid";
4647 meta = with lib; {
48 description = "The trivial database";
···1+From e002d2ef2688d5433d2bd03aa4d77a0ec5ac4e63 Mon Sep 17 00:00:00 2001
2+From: Uri Simchoni <uri@samba.org>
3+Date: Sun, 20 Oct 2019 00:03:14 +0300
4+Subject: [PATCH] build: find pre-built heimdal build tools in case of embedded
5+ heimdal
6+7+This patch fixes the case of finding asn1_compile and compile_et for
8+building embedded heimdal, by setting
9+--bundled-libraries='!asn1_compile,!compile_et' as configure flags.
10+11+The Heimdal build tools compile_et and asn1_compile are needed *only*
12+if we use the embedded heimdal (otherwise we don't build heimdal and
13+use headers that have been generated by those tools elsewhere).
14+15+For cross-compilation with embedded heimdal, it is vital to use host build
16+tools, and so asn1_compile and compile_et must be supplied and not
17+built. One way of doing this would be to set the COMPILE_ET and
18+ASN1_COMPILE env vars to the location of supplied binaries. Another way,
19+which is more commonly used, is to exclude asn1_compile and compile_et
20+from bundled packages via the switch
21+-bundled-libraries='!asn1_compile,!compile_et'. When this is done,
22+the build script searches the path for those tools and sets the
23+ASN1_COMPILE and COMPILE_ET vars accordingly. (this is admittedly
24+kind of a round-about way of doing things but this has become the
25+de-facto standard amongst embedded distro builders).
26+27+In commit 8061983d4882f3ba3f12da71443b035d7b672eec, this process of
28+finding the binaris has been moved to be carried out only in the
29+system heimdal case. As explained above, we only need these tools,
30+and hence the check, in bundled mode.
31+32+BUG: https://bugzilla.samba.org/show_bug.cgi?id=14164
33+34+Signed-off-by: Uri Simchoni <uri@samba.org>
35+Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
36+[Bernd: rebased for version 4.11.13]
37+---
38+ wscript_configure_embedded_heimdal | 11 +++++++++++
39+ wscript_configure_system_heimdal | 11 -----------
40+ 2 files changed, 11 insertions(+), 11 deletions(-)
41+42+diff --git a/wscript_configure_embedded_heimdal b/wscript_configure_embedded_heimdal
43+index 8c55ae2a938..4fdae8062c5 100644
44+--- a/wscript_configure_embedded_heimdal
45++++ b/wscript_configure_embedded_heimdal
46+@@ -1 +1,12 @@
47+ conf.RECURSE('source4/heimdal_build')
48++
49++def check_system_heimdal_binary(name):
50++ if conf.LIB_MAY_BE_BUNDLED(name):
51++ return False
52++ if not conf.find_program(name, var=name.upper()):
53++ return False
54++ conf.define('USING_SYSTEM_%s' % name.upper(), 1)
55++ return True
56++
57++check_system_heimdal_binary("compile_et")
58++check_system_heimdal_binary("asn1_compile")
59+diff --git a/wscript_configure_system_heimdal b/wscript_configure_system_heimdal
60+index 0ff6dad2f55..f77c177442f 100644
61+--- a/wscript_configure_system_heimdal
62++++ b/wscript_configure_system_heimdal
63+@@ -37,14 +37,6 @@ def check_system_heimdal_lib(name, functions='', headers='', onlyif=None):
64+ conf.define('USING_SYSTEM_%s' % name.upper(), 1)
65+ return True
66+67+-def check_system_heimdal_binary(name):
68+- if conf.LIB_MAY_BE_BUNDLED(name):
69+- return False
70+- if not conf.find_program(name, var=name.upper()):
71+- return False
72+- conf.define('USING_SYSTEM_%s' % name.upper(), 1)
73+- return True
74+-
75+ check_system_heimdal_lib("com_err", "com_right_r com_err", "com_err.h")
76+77+ if check_system_heimdal_lib("roken", "rk_socket_set_reuseaddr", "roken.h"):
78+@@ -96,7 +96,4 @@
79+ #if conf.CHECK_BUNDLED_SYSTEM('tommath', checkfunctions='mp_init', headers='tommath.h'):
80+ # conf.define('USING_SYSTEM_TOMMATH', 1)
81+82+-check_system_heimdal_binary("compile_et")
83+-check_system_heimdal_binary("asn1_compile")
84+-
85+ conf.define('USING_SYSTEM_KRB5', 1)
86+--
87+2.20.1
···1-{ stdenv, lib, fetchFromGitHub, cmake, python3, vulkan-loader,
2- vulkan-headers, glslang, pkg-config, xlibsWrapper, libxcb,
3- libXrandr, wayland }:
45stdenv.mkDerivation rec {
6 pname = "vulkan-tools";
7- version = "1.2.162.0";
89- src = fetchFromGitHub {
10- owner = "KhronosGroup";
11- repo = "Vulkan-Tools";
12- rev = "sdk-${version}";
13- sha256 = "088vqh956zma3p1qc3p6rsygf5s395b6cv8b1x0whp2a0a1y81xz";
14- };
00001516- nativeBuildInputs = [ cmake pkg-config ];
17- buildInputs = [ python3 vulkan-headers vulkan-loader xlibsWrapper libxcb libXrandr wayland ];
1819 libraryPath = lib.strings.makeLibraryPath [ vulkan-loader ];
20···23 cmakeFlags = [
24 # Don't build the mock ICD as it may get used instead of other drivers, if installed
25 "-DBUILD_ICD=OFF"
26- "-DGLSLANG_INSTALL_DIR=${glslang}"
27 # vulkaninfo loads libvulkan using dlopen, so we have to add it manually to RPATH
28 "-DCMAKE_INSTALL_RPATH=${libraryPath}"
0029 ];
3031 meta = with lib; {
···1+{ stdenv, lib, fetchFromGitHub, cmake, glslang, libX11, libxcb
2+, libXrandr, vulkan-headers, vulkan-loader, wayland }:
034stdenv.mkDerivation rec {
5 pname = "vulkan-tools";
6+ version = "1.2.182.0";
78+ # It's not strictly necessary to have matching versions here, however
9+ # since we're using the SDK version we may as well be consistent with
10+ # the rest of nixpkgs.
11+ src = (assert version == vulkan-headers.version;
12+ fetchFromGitHub {
13+ owner = "KhronosGroup";
14+ repo = "Vulkan-Tools";
15+ rev = "sdk-${version}";
16+ sha256 = "028l2l7jx4443k8207q8jmjq1mnnm9kgyl2417jrkrvylcbv8ji9";
17+ });
1819+ nativeBuildInputs = [ cmake ];
20+ buildInputs = [ glslang libX11 libxcb libXrandr vulkan-headers vulkan-loader wayland ];
2122 libraryPath = lib.strings.makeLibraryPath [ vulkan-loader ];
23···26 cmakeFlags = [
27 # Don't build the mock ICD as it may get used instead of other drivers, if installed
28 "-DBUILD_ICD=OFF"
029 # vulkaninfo loads libvulkan using dlopen, so we have to add it manually to RPATH
30 "-DCMAKE_INSTALL_RPATH=${libraryPath}"
31+ # Hide dev warnings that are useless for packaging
32+ "-Wno-dev"
33 ];
3435 meta = with lib; {