Merge master into staging-next
This commit is contained in:
commit
ca2edf79f7
@ -341,6 +341,11 @@
|
||||
github = "apeyroux";
|
||||
name = "Alexandre Peyroux";
|
||||
};
|
||||
ar1a = {
|
||||
email = "aria@ar1as.space";
|
||||
github = "ar1a";
|
||||
name = "Aria Edmonds";
|
||||
};
|
||||
arcadio = {
|
||||
email = "arc@well.ox.ac.uk";
|
||||
github = "arcadio";
|
||||
@ -1586,6 +1591,11 @@
|
||||
email = "eocallaghan@alterapraxis.com";
|
||||
name = "Edward O'Callaghan";
|
||||
};
|
||||
fusion809 = {
|
||||
email = "brentonhorne77@gmail.com";
|
||||
github = "fusion809";
|
||||
name = "Brenton Horne";
|
||||
};
|
||||
fuuzetsu = {
|
||||
email = "fuuzetsu@fuuzetsu.co.uk";
|
||||
github = "fuuzetsu";
|
||||
|
@ -1,37 +0,0 @@
|
||||
<section xmlns="http://docbook.org/ns/docbook"
|
||||
xmlns:xlink="http://www.w3.org/1999/xlink"
|
||||
xmlns:xi="http://www.w3.org/2001/XInclude"
|
||||
version="5.0"
|
||||
xml:id="sec-debugging-nixos-tests">
|
||||
<title>Debugging NixOS tests</title>
|
||||
|
||||
<para>
|
||||
Tests may fail and infrastructure offers access to inspect machine state.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
To prevent test from stopping and cleaning up, insert a sleep command:
|
||||
</para>
|
||||
|
||||
<programlisting>
|
||||
$machine->succeed("sleep 84000");
|
||||
</programlisting>
|
||||
|
||||
<para>
|
||||
As soon as machine starts run as root:
|
||||
</para>
|
||||
|
||||
<programlisting>
|
||||
nix-shell -p socat --run "socat STDIO,raw,echo=0,escape=0x11 UNIX:/tmp/nix-build-vm-test-run-*.drv-0/vm-state-machine/backdoor"
|
||||
</programlisting>
|
||||
|
||||
<para>
|
||||
You may need to find the correct path, replacing <literal>/tmp</literal>,
|
||||
<literal>*</literal> or <literal>machine</literal>.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
Press "enter" to open up console and login as "root". After you're done,
|
||||
press "ctrl-q" to exit the console.
|
||||
</para>
|
||||
</section>
|
@ -16,5 +16,4 @@ xlink:href="https://github.com/NixOS/nixpkgs/tree/master/nixos/tests">nixos/test
|
||||
<xi:include href="writing-nixos-tests.xml" />
|
||||
<xi:include href="running-nixos-tests.xml" />
|
||||
<xi:include href="running-nixos-tests-interactively.xml" />
|
||||
<xi:include href="debugging-nixos-tests.xml" />
|
||||
</chapter>
|
||||
|
@ -156,10 +156,8 @@ sub start {
|
||||
$ENV{USE_TMPDIR} = 1;
|
||||
$ENV{QEMU_OPTS} =
|
||||
($self->{allowReboot} ? "" : "-no-reboot ") .
|
||||
"-monitor unix:./monitor " .
|
||||
"-chardev socket,id=shell,path=./shell -device virtio-serial -device virtconsole,chardev=shell " .
|
||||
# socket backdoor, see "Debugging NixOS tests" section in NixOS manual
|
||||
"-chardev socket,id=backdoor,path=./backdoor,server,nowait -device virtio-serial -device virtconsole,chardev=backdoor " .
|
||||
"-monitor unix:./monitor -chardev socket,id=shell,path=./shell " .
|
||||
"-device virtio-serial -device virtconsole,chardev=shell " .
|
||||
"-device virtio-rng-pci " .
|
||||
($showGraphics ? "-serial stdio" : "-nographic") . " " . ($ENV{QEMU_OPTS} || "");
|
||||
chdir $self->{stateDir} or die;
|
||||
|
@ -55,8 +55,7 @@ with import ../../lib/qemu-flags.nix { inherit pkgs; };
|
||||
systemd.services."serial-getty@hvc0".enable = false;
|
||||
|
||||
# Only use a serial console, no TTY.
|
||||
# hvc1: socket backdoor, see "Debugging NixOS tests" section in NixOS manual
|
||||
virtualisation.qemu.consoles = [ "hvc1" qemuSerialDevice ];
|
||||
virtualisation.qemu.consoles = [ qemuSerialDevice ];
|
||||
|
||||
boot.initrd.preDeviceCommands =
|
||||
''
|
||||
|
@ -2,7 +2,7 @@
|
||||
|
||||
buildGoPackage rec {
|
||||
name = "go-ethereum-${version}";
|
||||
version = "1.8.20";
|
||||
version = "1.8.21";
|
||||
goPackagePath = "github.com/ethereum/go-ethereum";
|
||||
|
||||
# Fix for usb-related segmentation faults on darwin
|
||||
@ -16,7 +16,7 @@ buildGoPackage rec {
|
||||
owner = "ethereum";
|
||||
repo = "go-ethereum";
|
||||
rev = "v${version}";
|
||||
sha256 = "0m2q1nz6f39pyr2rk6vflkwi4ykganzwr7wndpwr9rliw0x8jgi0";
|
||||
sha256 = "1p4qfxa90l26s9q4hddyb93gdf7vb0sb46z9n26ijiqlxdq3z7v2";
|
||||
};
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
|
19
pkgs/applications/backup/vdmfec/default.nix
Normal file
19
pkgs/applications/backup/vdmfec/default.nix
Normal file
@ -0,0 +1,19 @@
|
||||
{ stdenv, fetchurl }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "vdmfec-${version}";
|
||||
version = "1.0";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://members.tripod.com/professor_tom/archives/${name}.tgz";
|
||||
sha256 = "0i7q4ylx2xmzzq778anpkj4nqir5gf573n1lbpxnbc10ymsjq2rm";
|
||||
};
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
description = "A program that adds error correction blocks";
|
||||
homepage = "http://members.tripod.com/professor_tom/archives/index.html";
|
||||
maintainers = [ maintainers.ar1a ];
|
||||
license = with licenses; [ gpl2 /* for vdmfec */ bsd2 /* for fec */ ];
|
||||
platforms = platforms.all;
|
||||
};
|
||||
}
|
@ -24,7 +24,7 @@ in
|
||||
postPatch = ''
|
||||
sed -i "s,/usr/local,$out,g" \
|
||||
app/CMakeLists.txt app/app/app.cpp app/app/main.cpp
|
||||
sed -i "s,python-py35,python36," CMakeLists.txt
|
||||
sed -i "s,python3,${python3.executable}," CMakeLists.txt
|
||||
'';
|
||||
|
||||
buildInputs = [
|
||||
|
@ -1,16 +1,16 @@
|
||||
{ lib, buildPythonApplication, fetchPypi, pythonPackages, ffmpeg }:
|
||||
{ lib, python3Packages, ffmpeg }:
|
||||
|
||||
buildPythonApplication rec {
|
||||
python3Packages.buildPythonApplication rec {
|
||||
version = "1.4.1";
|
||||
pname = "sigal";
|
||||
|
||||
src = fetchPypi {
|
||||
src = python3Packages.fetchPypi {
|
||||
inherit version pname;
|
||||
sha256 = "1fg32ii26j3xpq3cryi212lx9z33qnicm1cszwv1wfpg6sr2rr61";
|
||||
};
|
||||
|
||||
buildInputs = with pythonPackages; [ pytest ];
|
||||
propagatedBuildInputs = with pythonPackages; [
|
||||
checkInputs = with python3Packages; [ pytest ];
|
||||
propagatedBuildInputs = with python3Packages; [
|
||||
jinja2
|
||||
markdown
|
||||
pillow
|
||||
@ -32,4 +32,3 @@ buildPythonApplication rec {
|
||||
maintainers = with maintainers; [ domenkozar ];
|
||||
};
|
||||
}
|
||||
|
||||
|
@ -1,26 +1,22 @@
|
||||
{ stdenv, fetchurl, pkgconfig, libsoup, webkit, gtk2, glib-networking
|
||||
, gsettings-desktop-schemas, makeWrapper
|
||||
{ stdenv, fetchFromGitHub, pkgconfig, libsoup, webkit, gtk3, glib-networking
|
||||
, gsettings-desktop-schemas, wrapGAppsHook
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "vimb-${version}";
|
||||
version = "3.1.0";
|
||||
version = "3.3.0";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/fanglingsu/vimb/archive/${version}.tar.gz";
|
||||
sha256 = "1gws028c2v1zh6r142hmjvi2m447lwqqh65m6z3dzcar2yw35z3f";
|
||||
src = fetchFromGitHub {
|
||||
owner = "fanglingsu";
|
||||
repo = "vimb";
|
||||
rev = version;
|
||||
sha256 = "1qg18z2gnsli9qgrqfhqfrsi6g9mcgr90w8yab28nxrq4aha6brf";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ pkgconfig ];
|
||||
buildInputs = [ makeWrapper gtk2 libsoup webkit gsettings-desktop-schemas ];
|
||||
nativeBuildInputs = [ wrapGAppsHook pkgconfig ];
|
||||
buildInputs = [ gtk3 libsoup webkit glib-networking gsettings-desktop-schemas ];
|
||||
|
||||
makeFlags = [ "PREFIX=$(out)" ];
|
||||
|
||||
preFixup = ''
|
||||
wrapProgram "$out/bin/vimb" \
|
||||
--prefix GIO_EXTRA_MODULES : "${glib-networking.out}/lib/gio/modules" \
|
||||
--prefix XDG_DATA_DIRS : "$GSETTINGS_SCHEMAS_PATH"
|
||||
'';
|
||||
makeFlags = [ "PREFIX=${placeholder "out"}" ];
|
||||
|
||||
meta = {
|
||||
description = "A Vim-like browser";
|
||||
|
33
pkgs/applications/networking/cluster/kubectl/default.nix
Normal file
33
pkgs/applications/networking/cluster/kubectl/default.nix
Normal file
@ -0,0 +1,33 @@
|
||||
{ stdenv, lib, kubernetes }:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "kubectl-${kubernetes.version}";
|
||||
|
||||
# kubectl is currently part of the main distribution but will eventially be
|
||||
# split out (see homepage)
|
||||
src = kubernetes;
|
||||
|
||||
outputs = [ "out" "man" ];
|
||||
|
||||
doBuild = false;
|
||||
|
||||
installPhase = ''
|
||||
mkdir -p \
|
||||
"$out/bin" \
|
||||
"$out/share/bash-completion/completions" \
|
||||
"$out/share/zsh/site-functions" \
|
||||
"$man/share/man/man1"
|
||||
|
||||
cp bin/kubectl $out/bin/kubectl
|
||||
|
||||
cp "${kubernetes.man}/share/man/man1"/kubectl* "$man/share/man/man1"
|
||||
|
||||
$out/bin/kubectl completion bash > $out/share/bash-completion/completions/kubectl
|
||||
$out/bin/kubectl completion zsh > $out/share/zsh/site-functions/_kubectl
|
||||
'';
|
||||
|
||||
meta = kubernetes.meta // {
|
||||
description = "Kubernetes CLI";
|
||||
homepage = "https://github.com/kubernetes/kubectl";
|
||||
};
|
||||
}
|
@ -1,68 +0,0 @@
|
||||
Date: Tue, 17 Jul 2018 20:29:49 +0200
|
||||
|
||||
---
|
||||
Telegram/SourceFiles/export/data/export_data_types.cpp | 9 ++++++---
|
||||
Telegram/SourceFiles/export/export_api_wrap.cpp | 6 ++++--
|
||||
2 files changed, 10 insertions(+), 5 deletions(-)
|
||||
|
||||
diff --git a/Telegram/SourceFiles/export/data/export_data_types.cpp b/Telegram/SourceFiles/export/data/export_data_types.cpp
|
||||
index f835dc2f9..e811c27e8 100644
|
||||
--- a/Telegram/SourceFiles/export/data/export_data_types.cpp
|
||||
+++ b/Telegram/SourceFiles/export/data/export_data_types.cpp
|
||||
@@ -221,7 +221,8 @@ Image ParseMaxImage(
|
||||
result.width = data.vw.v;
|
||||
result.height = data.vh.v;
|
||||
result.file.location = ParseLocation(data.vlocation);
|
||||
- if constexpr (MTPDphotoCachedSize::Is<decltype(data)>()) {
|
||||
+ constexpr bool condition = MTPDphotoCachedSize::Is<decltype(data)>();
|
||||
+ if constexpr (condition) {
|
||||
result.file.content = data.vbytes.v;
|
||||
result.file.size = result.file.content.size();
|
||||
} else {
|
||||
@@ -409,7 +410,8 @@ Document ParseDocument(
|
||||
result.width = data.vw.v;
|
||||
result.height = data.vh.v;
|
||||
result.file.location = ParseLocation(data.vlocation);
|
||||
- if constexpr (MTPDphotoCachedSize::Is<decltype(data)>()) {
|
||||
+ constexpr bool condition = MTPDphotoCachedSize::Is<decltype(data)>();
|
||||
+ if constexpr (condition) {
|
||||
result.file.content = data.vbytes.v;
|
||||
result.file.size = result.file.content.size();
|
||||
} else {
|
||||
@@ -1017,7 +1019,8 @@ Message ParseMessage(
|
||||
auto result = Message();
|
||||
data.match([&](const auto &data) {
|
||||
result.id = data.vid.v;
|
||||
- if constexpr (!MTPDmessageEmpty::Is<decltype(data)>()) {
|
||||
+ constexpr bool condition = !MTPDmessageEmpty::Is<decltype(data)>();
|
||||
+ if constexpr (condition) {
|
||||
result.toId = ParsePeerId(data.vto_id);
|
||||
const auto peerId = (!data.is_out()
|
||||
&& data.has_from_id()
|
||||
diff --git a/Telegram/SourceFiles/export/export_api_wrap.cpp b/Telegram/SourceFiles/export/export_api_wrap.cpp
|
||||
index b618937f6..bb98647dd 100644
|
||||
--- a/Telegram/SourceFiles/export/export_api_wrap.cpp
|
||||
+++ b/Telegram/SourceFiles/export/export_api_wrap.cpp
|
||||
@@ -709,7 +709,8 @@ void ApiWrap::handleUserpicsSlice(const MTPphotos_Photos &result) {
|
||||
Expects(_userpicsProcess != nullptr);
|
||||
|
||||
result.match([&](const auto &data) {
|
||||
- if constexpr (MTPDphotos_photos::Is<decltype(data)>()) {
|
||||
+ constexpr bool condition = MTPDphotos_photos::Is<decltype(data)>();
|
||||
+ if constexpr (condition) {
|
||||
_userpicsProcess->lastSlice = true;
|
||||
}
|
||||
loadUserpicsFiles(Data::ParseUserpicsSlice(
|
||||
@@ -1141,7 +1142,8 @@ void ApiWrap::requestMessagesSlice() {
|
||||
result.match([&](const MTPDmessages_messagesNotModified &data) {
|
||||
error("Unexpected messagesNotModified received.");
|
||||
}, [&](const auto &data) {
|
||||
- if constexpr (MTPDmessages_messages::Is<decltype(data)>()) {
|
||||
+ constexpr bool condition = MTPDmessages_messages::Is<decltype(data)>();
|
||||
+ if constexpr (condition) {
|
||||
_chatProcess->lastSlice = true;
|
||||
}
|
||||
loadMessagesFiles(Data::ParseMessagesSlice(
|
||||
--
|
||||
2.16.3
|
||||
|
@ -29,12 +29,7 @@ mkDerivation rec {
|
||||
};
|
||||
|
||||
# TODO: libtgvoip.patch no-gtk2.patch
|
||||
patches = [
|
||||
"${archPatches}/tdesktop.patch"
|
||||
]
|
||||
# TODO: Only required to work around a compiler bug.
|
||||
# This should be fixed in GCC 7.3.1 (or later?)
|
||||
++ [ ./fix-internal-compiler-error.patch ];
|
||||
patches = [ "${archPatches}/tdesktop.patch" ];
|
||||
|
||||
postPatch = ''
|
||||
substituteInPlace Telegram/SourceFiles/platform/linux/linux_libs.cpp \
|
||||
|
9
pkgs/applications/science/chemistry/marvin/LicenseManager.desktop
Executable file
9
pkgs/applications/science/chemistry/marvin/LicenseManager.desktop
Executable file
@ -0,0 +1,9 @@
|
||||
#!/usr/bin/env xdg-open
|
||||
[Desktop Entry]
|
||||
Type=Application
|
||||
Name=ChemAxon License Manager
|
||||
Exec=@out@/bin/LicenseManager
|
||||
Icon=LicenseManager
|
||||
Categories=Education;Science;Chemistry;
|
||||
StartupWMClass=com-install4j-runtime-launcher-UnixLauncher
|
||||
Comment=License manager for ChemAxon software like MarvinSketch
|
10
pkgs/applications/science/chemistry/marvin/MarvinSketch.desktop
Executable file
10
pkgs/applications/science/chemistry/marvin/MarvinSketch.desktop
Executable file
@ -0,0 +1,10 @@
|
||||
#!/usr/bin/env xdg-open
|
||||
[Desktop Entry]
|
||||
Type=Application
|
||||
Name=MarvinSketch
|
||||
Exec=@out@/bin/msketch %f
|
||||
Icon=MarvinSketch
|
||||
MimeType=text/xml;text/plain;chemical/x-cml;chemical/x-mdl-molfile;chemical/x-mdl-sdfile;chemical/x-mol2;chemical/x-pdb;chemical/x-xyz;chemical/x-mdl-rdfile;chemical/x-mdl-rxnfile;chemical/x-inchi;
|
||||
Categories=Education;Science;Chemistry;
|
||||
StartupWMClass=com-install4j-runtime-launcher-UnixLauncher
|
||||
Comment=Molecular modelling, analysis and structure drawing program
|
10
pkgs/applications/science/chemistry/marvin/MarvinView.desktop
Executable file
10
pkgs/applications/science/chemistry/marvin/MarvinView.desktop
Executable file
@ -0,0 +1,10 @@
|
||||
#!/usr/bin/env xdg-open
|
||||
[Desktop Entry]
|
||||
Type=Application
|
||||
Name=MarvinView
|
||||
Exec=@out@/bin/mview %f
|
||||
Icon=MarvinView
|
||||
Comment=Molecule viewing program
|
||||
MimeType=text/xml;text/plain;chemical/x-cml;chemical/x-mdl-molfile;chemical/x-mdl-sdfile;chemical/x-mol2;chemical/x-pdb;chemical/x-xyz;chemical/x-mdl-rdfile;chemical/x-mdl-rxnfile;chemical/x-inchi;
|
||||
Categories=Education;Science;Chemistry;
|
||||
StartupWMClass=com-install4j-runtime-launcher-UnixLauncher
|
49
pkgs/applications/science/chemistry/marvin/default.nix
Normal file
49
pkgs/applications/science/chemistry/marvin/default.nix
Normal file
@ -0,0 +1,49 @@
|
||||
{ stdenv, fetchurl, dpkg, makeWrapper, coreutils, gawk, gnugrep, gnused, jre }:
|
||||
|
||||
with stdenv.lib;
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "${pname}-${version}";
|
||||
pname = "marvin";
|
||||
version = "19.1.0";
|
||||
|
||||
src = fetchurl {
|
||||
name = "marvin-${version}.deb";
|
||||
url = "http://dl.chemaxon.com/marvin/${version}/marvin_linux_${versions.majorMinor version}.deb";
|
||||
sha256 = "1ccsimfvms5q4prjyk6sg5hsc3hkcjjfq3gl7jjm8dgd2173zzyc";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ dpkg makeWrapper ];
|
||||
|
||||
unpackPhase = ''
|
||||
dpkg-deb -x $src opt
|
||||
'';
|
||||
|
||||
installPhase = ''
|
||||
wrapBin() {
|
||||
makeWrapper $1 $out/bin/$(basename $1) \
|
||||
--set INSTALL4J_JAVA_HOME "${jre}" \
|
||||
--prefix PATH : ${makeBinPath [ coreutils gawk gnugrep gnused ]}
|
||||
}
|
||||
cp -r opt $out
|
||||
mkdir -p $out/bin $out/share/pixmaps $out/share/applications
|
||||
for name in LicenseManager MarvinSketch MarvinView; do
|
||||
wrapBin $out/opt/chemaxon/marvinsuite/$name
|
||||
ln -s {$out/opt/chemaxon/marvinsuite/.install4j,$out/share/pixmaps}/$name.png
|
||||
done
|
||||
for name in cxcalc cxtrain evaluate molconvert mview msketch; do
|
||||
wrapBin $out/opt/chemaxon/marvinsuite/bin/$name
|
||||
done
|
||||
${concatStrings (map (name: ''
|
||||
substitute ${./. + "/${name}.desktop"} $out/share/applications/${name}.desktop --subst-var out
|
||||
'') [ "LicenseManager" "MarvinSketch" "MarvinView" ])}
|
||||
'';
|
||||
|
||||
meta = {
|
||||
description = "A chemical modelling, analysis and structure drawing program";
|
||||
homepage = https://chemaxon.com/products/marvin;
|
||||
maintainers = with maintainers; [ fusion809 ];
|
||||
license = licenses.unfree;
|
||||
platforms = platforms.linux;
|
||||
};
|
||||
}
|
@ -1,28 +0,0 @@
|
||||
{ stdenv, fetchurl, unzip, ocaml }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "sapic-${version}";
|
||||
version = "0.9";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://sapic.gforge.inria.fr/${name}.zip";
|
||||
sha256 = "1ckl090lpyfh90mkjhnpcys5grs3nrl9wlbn9nfkxxnaivn2yx9y";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ unzip ];
|
||||
buildInputs = [ ocaml ];
|
||||
patches = [ ./native.patch ]; # create a native binary, not a bytecode one
|
||||
|
||||
buildPhase = "make depend && make";
|
||||
installPhase = ''
|
||||
mkdir -p $out/bin
|
||||
cp ./sapic $out/bin
|
||||
'';
|
||||
|
||||
meta = {
|
||||
description = "Stateful applied Pi Calculus for protocol verification";
|
||||
homepage = http://sapic.gforge.inria.fr/;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
|
||||
};
|
||||
}
|
@ -1,38 +0,0 @@
|
||||
diff --git a/Makefile b/Makefile
|
||||
index a1de94d..f9e2eb8 100644
|
||||
--- a/Makefile
|
||||
+++ b/Makefile
|
||||
@@ -1,8 +1,8 @@
|
||||
TARGET = sapic
|
||||
-OBJS=lexer.cmo apip.cmo firsttranslation.cmo main.cmo #secondtranslation.cmo thirdtranslation.cmo main.cmo
|
||||
+OBJS=lexer.cmx apip.cmx firsttranslation.cmx main.cmx
|
||||
|
||||
sapic: $(OBJS)
|
||||
- ocamlc -o $@ $(OBJS)
|
||||
+ ocamlopt.opt -o $@ $(OBJS)
|
||||
|
||||
depend:
|
||||
ocamldep *.ml *.mli > .depend
|
||||
@@ -13,17 +13,17 @@ clean:
|
||||
rm -rf *.cmi *.cmo $(TARGET)
|
||||
rm -rf apip.ml apip.mli lexer.ml lexer.mli
|
||||
|
||||
-.SUFFIXES: .ml .mli .mll .mly .cmo .cmi
|
||||
+.SUFFIXES: .ml .mli .mll .mly .cmo .cmi .cmx
|
||||
|
||||
-.ml.cmo:
|
||||
- ocamlc -c $<
|
||||
+.ml.cmx:
|
||||
+ ocamlopt.opt -c $<
|
||||
.mli.cmi:
|
||||
- ocamlc -c $<
|
||||
+ ocamlopt.opt -c $<
|
||||
.mll.ml:
|
||||
ocamllex $<
|
||||
.mly.ml:
|
||||
ocamlyacc $<
|
||||
.ml.mli:
|
||||
- ocamlc -i $< > $@
|
||||
+ ocamlopt.opt -i $< > $@
|
||||
|
||||
-include .depend
|
@ -1,15 +1,15 @@
|
||||
{ haskellPackages, mkDerivation, fetchFromGitHub, lib
|
||||
# the following are non-haskell dependencies
|
||||
, makeWrapper, which, maude, graphviz, sapic
|
||||
, makeWrapper, which, maude, graphviz, ocaml
|
||||
}:
|
||||
|
||||
let
|
||||
version = "1.4.0";
|
||||
version = "1.4.1";
|
||||
src = fetchFromGitHub {
|
||||
owner = "tamarin-prover";
|
||||
repo = "tamarin-prover";
|
||||
rev = "7ced07a69f8e93178f9a95797479277a736ae572";
|
||||
sha256 = "02pyw22h90228g6qybjpdvpcm9d5lh96f5qwmy2hv2bylz05z3nn";
|
||||
rev = "d2e1c57311ce4ed0ef46d0372c4995b8fdc25323";
|
||||
sha256 = "1bf2qvb646jg3qxd6jgp9ja3wlr888wchxi9mfr3kg7hfn63vxbq";
|
||||
};
|
||||
|
||||
# tamarin has its own dependencies, but they're kept inside the repo,
|
||||
@ -32,7 +32,6 @@ let
|
||||
|
||||
tamarin-prover-utils = mkDerivation (common "tamarin-prover-utils" (src + "/lib/utils") // {
|
||||
postPatch = replaceSymlinks;
|
||||
patches = [ ./ghc-8.4-support-utils.patch ];
|
||||
libraryHaskellDepends = with haskellPackages; [
|
||||
base base64-bytestring binary blaze-builder bytestring containers
|
||||
deepseq dlist fclabels mtl pretty safe SHA syb time transformers
|
||||
@ -41,7 +40,6 @@ let
|
||||
|
||||
tamarin-prover-term = mkDerivation (common "tamarin-prover-term" (src + "/lib/term") // {
|
||||
postPatch = replaceSymlinks;
|
||||
patches = [ ./ghc-8.4-support-term.patch ];
|
||||
libraryHaskellDepends = (with haskellPackages; [
|
||||
attoparsec base binary bytestring containers deepseq dlist HUnit
|
||||
mtl process safe
|
||||
@ -50,7 +48,6 @@ let
|
||||
|
||||
tamarin-prover-theory = mkDerivation (common "tamarin-prover-theory" (src + "/lib/theory") // {
|
||||
postPatch = replaceSymlinks;
|
||||
patches = [ ./ghc-8.4-support-theory.patch ];
|
||||
doHaddock = false; # broken
|
||||
libraryHaskellDepends = (with haskellPackages; [
|
||||
aeson aeson-pretty base binary bytestring containers deepseq dlist
|
||||
@ -75,20 +72,28 @@ mkDerivation (common "tamarin-prover" src // {
|
||||
|
||||
sed -ie 's~\( *, \)mtl~&\
|
||||
\1monad-control~' tamarin-prover.cabal
|
||||
|
||||
patch -p1 < ${./sapic-native.patch}
|
||||
'';
|
||||
|
||||
postBuild = ''
|
||||
cd plugins/sapic && make sapic && cd ../..
|
||||
'';
|
||||
|
||||
# wrap the prover to be sure it can find maude, sapic, etc
|
||||
executableToolDepends = [ makeWrapper which maude graphviz sapic ];
|
||||
executableToolDepends = [ makeWrapper which maude graphviz ];
|
||||
postInstall = ''
|
||||
wrapProgram $out/bin/tamarin-prover \
|
||||
--prefix PATH : ${lib.makeBinPath [ which maude graphviz sapic ]}
|
||||
--prefix PATH : ${lib.makeBinPath [ which maude graphviz ]}
|
||||
# so that the package can be used as a vim plugin to install syntax coloration
|
||||
install -Dt $out/share/vim-plugins/tamarin-prover/syntax/ etc/{spthy,sapic}.vim
|
||||
install etc/filetype.vim -D $out/share/vim-plugins/tamarin-prover/ftdetect/tamarin.vim
|
||||
install -m0755 ./plugins/sapic/sapic $out/bin/sapic
|
||||
'';
|
||||
|
||||
checkPhase = "./dist/build/tamarin-prover/tamarin-prover test";
|
||||
|
||||
executableSystemDepends = [ ocaml ];
|
||||
executableHaskellDepends = (with haskellPackages; [
|
||||
base binary binary-orphans blaze-builder blaze-html bytestring
|
||||
cmdargs conduit containers monad-control deepseq directory fclabels file-embed
|
||||
|
@ -1,109 +0,0 @@
|
||||
From a08f6e400772899b9b0fc16befc50391cd70696b Mon Sep 17 00:00:00 2001
|
||||
From: Felix Yan <felixonmars@archlinux.org>
|
||||
Date: Fri, 18 May 2018 16:24:41 +0800
|
||||
Subject: [PATCH] GHC 8.4 support
|
||||
|
||||
---
|
||||
src/Term/Maude/Signature.hs | 8 ++--
|
||||
src/Term/Rewriting/Definitions.hs | 23 ++++++----
|
||||
src/Term/Unification.hs | 4 +-
|
||||
11 files changed, 79 insertions(+), 48 deletions(-)
|
||||
|
||||
diff --git a/src/Term/Maude/Signature.hs b/src/Term/Maude/Signature.hs
|
||||
index 98c25d9f..1a4ce82f 100644
|
||||
--- a/src/Term/Maude/Signature.hs
|
||||
+++ b/src/Term/Maude/Signature.hs
|
||||
@@ -104,9 +104,9 @@ maudeSig msig@(MaudeSig {enableDH,enableBP,enableMSet,enableXor,enableDiff=_,stF
|
||||
`S.union` dhReducibleFunSig `S.union` bpReducibleFunSig `S.union` xorReducibleFunSig
|
||||
|
||||
-- | A monoid instance to combine maude signatures.
|
||||
-instance Monoid MaudeSig where
|
||||
- (MaudeSig dh1 bp1 mset1 xor1 diff1 stFunSyms1 stRules1 _ _) `mappend`
|
||||
- (MaudeSig dh2 bp2 mset2 xor2 diff2 stFunSyms2 stRules2 _ _) =
|
||||
+instance Semigroup MaudeSig where
|
||||
+ MaudeSig dh1 bp1 mset1 xor1 diff1 stFunSyms1 stRules1 _ _ <>
|
||||
+ MaudeSig dh2 bp2 mset2 xor2 diff2 stFunSyms2 stRules2 _ _ =
|
||||
maudeSig (mempty {enableDH=dh1||dh2
|
||||
,enableBP=bp1||bp2
|
||||
,enableMSet=mset1||mset2
|
||||
@@ -114,6 +114,8 @@ instance Monoid MaudeSig where
|
||||
,enableDiff=diff1||diff2
|
||||
,stFunSyms=S.union stFunSyms1 stFunSyms2
|
||||
,stRules=S.union stRules1 stRules2})
|
||||
+
|
||||
+instance Monoid MaudeSig where
|
||||
mempty = MaudeSig False False False False False S.empty S.empty S.empty S.empty
|
||||
|
||||
-- | Non-AC function symbols.
|
||||
diff --git a/src/Term/Rewriting/Definitions.hs b/src/Term/Rewriting/Definitions.hs
|
||||
index bd942b6a..18562e4e 100644
|
||||
--- a/src/Term/Rewriting/Definitions.hs
|
||||
+++ b/src/Term/Rewriting/Definitions.hs
|
||||
@@ -44,10 +44,12 @@ evalEqual (Equal l r) = l == r
|
||||
instance Functor Equal where
|
||||
fmap f (Equal lhs rhs) = Equal (f lhs) (f rhs)
|
||||
|
||||
+instance Semigroup a => Semigroup (Equal a) where
|
||||
+ (Equal l1 r1) <> (Equal l2 r2) =
|
||||
+ Equal (l1 <> l2) (r1 <> r2)
|
||||
+
|
||||
instance Monoid a => Monoid (Equal a) where
|
||||
mempty = Equal mempty mempty
|
||||
- (Equal l1 r1) `mappend` (Equal l2 r2) =
|
||||
- Equal (l1 `mappend` l2) (r1 `mappend` r2)
|
||||
|
||||
instance Foldable Equal where
|
||||
foldMap f (Equal l r) = f l `mappend` f r
|
||||
@@ -104,14 +106,15 @@ instance Functor Match where
|
||||
fmap _ NoMatch = NoMatch
|
||||
fmap f (DelayedMatches ms) = DelayedMatches (fmap (f *** f) ms)
|
||||
|
||||
+instance Semigroup (Match a) where
|
||||
+ NoMatch <> _ = NoMatch
|
||||
+ _ <> NoMatch = NoMatch
|
||||
+ DelayedMatches ms1 <> DelayedMatches ms2 =
|
||||
+ DelayedMatches (ms1 <> ms2)
|
||||
+
|
||||
instance Monoid (Match a) where
|
||||
mempty = DelayedMatches []
|
||||
|
||||
- NoMatch `mappend` _ = NoMatch
|
||||
- _ `mappend` NoMatch = NoMatch
|
||||
- DelayedMatches ms1 `mappend` DelayedMatches ms2 =
|
||||
- DelayedMatches (ms1 `mappend` ms2)
|
||||
-
|
||||
|
||||
instance Foldable Match where
|
||||
foldMap _ NoMatch = mempty
|
||||
@@ -136,10 +139,12 @@ data RRule a = RRule a a
|
||||
instance Functor RRule where
|
||||
fmap f (RRule lhs rhs) = RRule (f lhs) (f rhs)
|
||||
|
||||
+instance Monoid a => Semigroup (RRule a) where
|
||||
+ (RRule l1 r1) <> (RRule l2 r2) =
|
||||
+ RRule (l1 <> l2) (r1 <> r2)
|
||||
+
|
||||
instance Monoid a => Monoid (RRule a) where
|
||||
mempty = RRule mempty mempty
|
||||
- (RRule l1 r1) `mappend` (RRule l2 r2) =
|
||||
- RRule (l1 `mappend` l2) (r1 `mappend` r2)
|
||||
|
||||
instance Foldable RRule where
|
||||
foldMap f (RRule l r) = f l `mappend` f r
|
||||
diff --git a/src/Term/Unification.hs b/src/Term/Unification.hs
|
||||
index e1de0163..7ce6bb41 100644
|
||||
--- a/src/Term/Unification.hs
|
||||
+++ b/src/Term/Unification.hs
|
||||
@@ -265,9 +265,11 @@ unifyRaw l0 r0 = do
|
||||
|
||||
data MatchFailure = NoMatcher | ACProblem
|
||||
|
||||
+instance Semigroup MatchFailure where
|
||||
+ _ <> _ = NoMatcher
|
||||
+
|
||||
instance Monoid MatchFailure where
|
||||
mempty = NoMatcher
|
||||
- mappend _ _ = NoMatcher
|
||||
|
||||
-- | Ensure that the computed substitution @sigma@ satisfies
|
||||
-- @t ==_AC apply sigma p@ after the delayed equations are solved.
|
@ -1,130 +0,0 @@
|
||||
From a08f6e400772899b9b0fc16befc50391cd70696b Mon Sep 17 00:00:00 2001
|
||||
From: Felix Yan <felixonmars@archlinux.org>
|
||||
Date: Fri, 18 May 2018 16:24:41 +0800
|
||||
Subject: [PATCH] GHC 8.4 support
|
||||
|
||||
---
|
||||
src/Theory/Proof.hs | 43 +++++++++++--------
|
||||
11 files changed, 79 insertions(+), 48 deletions(-)
|
||||
|
||||
diff --git a/src/Theory/Constraint/Solver/Reduction.hs b/src/Theory/Constraint/Solver/Reduction.hs
|
||||
index ddbc965a..6daadd0d 100644
|
||||
--- a/src/Theory/Constraint/Solver/Reduction.hs
|
||||
+++ b/src/Theory/Constraint/Solver/Reduction.hs
|
||||
@@ -139,13 +139,14 @@ execReduction m ctxt se fs =
|
||||
data ChangeIndicator = Unchanged | Changed
|
||||
deriving( Eq, Ord, Show )
|
||||
|
||||
+instance Semigroup ChangeIndicator where
|
||||
+ Changed <> _ = Changed
|
||||
+ _ <> Changed = Changed
|
||||
+ Unchanged <> Unchanged = Unchanged
|
||||
+
|
||||
instance Monoid ChangeIndicator where
|
||||
mempty = Unchanged
|
||||
|
||||
- Changed `mappend` _ = Changed
|
||||
- _ `mappend` Changed = Changed
|
||||
- Unchanged `mappend` Unchanged = Unchanged
|
||||
-
|
||||
-- | Return 'True' iff there was a change.
|
||||
wasChanged :: ChangeIndicator -> Bool
|
||||
wasChanged Changed = True
|
||||
diff --git a/src/Theory/Constraint/System/Guarded.hs b/src/Theory/Constraint/System/Guarded.hs
|
||||
index f98fc7c2..2aac8ce2 100644
|
||||
--- a/src/Theory/Constraint/System/Guarded.hs
|
||||
+++ b/src/Theory/Constraint/System/Guarded.hs
|
||||
@@ -435,7 +435,7 @@ gall ss atos gf = GGuarded All ss atos gf
|
||||
|
||||
-- | Local newtype to avoid orphan instance.
|
||||
newtype ErrorDoc d = ErrorDoc { unErrorDoc :: d }
|
||||
- deriving( Monoid, NFData, Document, HighlightDocument )
|
||||
+ deriving( Monoid, Semigroup, NFData, Document, HighlightDocument )
|
||||
|
||||
-- | @formulaToGuarded fm@ returns a guarded formula @gf@ that is
|
||||
-- equivalent to @fm@ under the assumption that this is possible.
|
||||
diff --git a/src/Theory/Proof.hs b/src/Theory/Proof.hs
|
||||
index 74fb77b1..7971b9fc 100644
|
||||
--- a/src/Theory/Proof.hs
|
||||
+++ b/src/Theory/Proof.hs
|
||||
@@ -388,17 +388,19 @@ data ProofStatus =
|
||||
| TraceFound -- ^ There is an annotated solved step
|
||||
deriving ( Show, Generic, NFData, Binary )
|
||||
|
||||
+instance Semigroup ProofStatus where
|
||||
+ TraceFound <> _ = TraceFound
|
||||
+ _ <> TraceFound = TraceFound
|
||||
+ IncompleteProof <> _ = IncompleteProof
|
||||
+ _ <> IncompleteProof = IncompleteProof
|
||||
+ _ <> CompleteProof = CompleteProof
|
||||
+ CompleteProof <> _ = CompleteProof
|
||||
+ UndeterminedProof <> UndeterminedProof = UndeterminedProof
|
||||
+
|
||||
+
|
||||
instance Monoid ProofStatus where
|
||||
mempty = CompleteProof
|
||||
|
||||
- mappend TraceFound _ = TraceFound
|
||||
- mappend _ TraceFound = TraceFound
|
||||
- mappend IncompleteProof _ = IncompleteProof
|
||||
- mappend _ IncompleteProof = IncompleteProof
|
||||
- mappend _ CompleteProof = CompleteProof
|
||||
- mappend CompleteProof _ = CompleteProof
|
||||
- mappend UndeterminedProof UndeterminedProof = UndeterminedProof
|
||||
-
|
||||
-- | The status of a 'ProofStep'.
|
||||
proofStepStatus :: ProofStep (Maybe a) -> ProofStatus
|
||||
proofStepStatus (ProofStep _ Nothing ) = UndeterminedProof
|
||||
@@ -560,10 +562,12 @@ newtype Prover = Prover
|
||||
-> Maybe IncrementalProof -- resulting proof
|
||||
}
|
||||
|
||||
+instance Semigroup Prover where
|
||||
+ p1 <> p2 = Prover $ \ctxt d se ->
|
||||
+ runProver p1 ctxt d se >=> runProver p2 ctxt d se
|
||||
+
|
||||
instance Monoid Prover where
|
||||
mempty = Prover $ \_ _ _ -> Just
|
||||
- p1 `mappend` p2 = Prover $ \ctxt d se ->
|
||||
- runProver p1 ctxt d se >=> runProver p2 ctxt d se
|
||||
|
||||
-- | Provers whose sequencing is handled via the 'Monoid' instance.
|
||||
--
|
||||
@@ -579,10 +583,12 @@ newtype DiffProver = DiffProver
|
||||
-> Maybe IncrementalDiffProof -- resulting proof
|
||||
}
|
||||
|
||||
+instance Semigroup DiffProver where
|
||||
+ p1 <> p2 = DiffProver $ \ctxt d se ->
|
||||
+ runDiffProver p1 ctxt d se >=> runDiffProver p2 ctxt d se
|
||||
+
|
||||
instance Monoid DiffProver where
|
||||
mempty = DiffProver $ \_ _ _ -> Just
|
||||
- p1 `mappend` p2 = DiffProver $ \ctxt d se ->
|
||||
- runDiffProver p1 ctxt d se >=> runDiffProver p2 ctxt d se
|
||||
|
||||
-- | Map the proof generated by the prover.
|
||||
mapProverProof :: (IncrementalProof -> IncrementalProof) -> Prover -> Prover
|
||||
@@ -784,15 +790,16 @@ runAutoDiffProver (AutoProver heuristic bound cut) =
|
||||
-- | The result of one pass of iterative deepening.
|
||||
data IterDeepRes = NoSolution | MaybeNoSolution | Solution ProofPath
|
||||
|
||||
+instance Semigroup IterDeepRes where
|
||||
+ x@(Solution _) <> _ = x
|
||||
+ _ <> y@(Solution _) = y
|
||||
+ MaybeNoSolution <> _ = MaybeNoSolution
|
||||
+ _ <> MaybeNoSolution = MaybeNoSolution
|
||||
+ NoSolution <> NoSolution = NoSolution
|
||||
+
|
||||
instance Monoid IterDeepRes where
|
||||
mempty = NoSolution
|
||||
|
||||
- x@(Solution _) `mappend` _ = x
|
||||
- _ `mappend` y@(Solution _) = y
|
||||
- MaybeNoSolution `mappend` _ = MaybeNoSolution
|
||||
- _ `mappend` MaybeNoSolution = MaybeNoSolution
|
||||
- NoSolution `mappend` NoSolution = NoSolution
|
||||
-
|
||||
-- | @cutOnSolvedDFS prf@ removes all other cases if an attack is found. The
|
||||
-- attack search is performed using a parallel DFS traversal with iterative
|
||||
-- deepening.
|
@ -1,140 +0,0 @@
|
||||
From a08f6e400772899b9b0fc16befc50391cd70696b Mon Sep 17 00:00:00 2001
|
||||
From: Felix Yan <felixonmars@archlinux.org>
|
||||
Date: Fri, 18 May 2018 16:24:41 +0800
|
||||
Subject: [PATCH] GHC 8.4 support
|
||||
|
||||
---
|
||||
src/Extension/Data/Bounded.hs | 10 ++++-
|
||||
src/Extension/Data/Monoid.hs | 14 +++---
|
||||
src/Logic/Connectives.hs | 4 +-
|
||||
src/Text/PrettyPrint/Class.hs | 4 +-
|
||||
src/Text/PrettyPrint/Html.hs | 6 ++-
|
||||
11 files changed, 79 insertions(+), 48 deletions(-)
|
||||
|
||||
|
||||
diff --git a/src/Extension/Data/Bounded.hs b/src/Extension/Data/Bounded.hs
|
||||
index 5f166006..f416a44c 100644
|
||||
--- a/src/Extension/Data/Bounded.hs
|
||||
+++ b/src/Extension/Data/Bounded.hs
|
||||
@@ -11,19 +11,25 @@ module Extension.Data.Bounded (
|
||||
) where
|
||||
|
||||
-- import Data.Monoid
|
||||
+import Data.Semigroup
|
||||
|
||||
-- | A newtype wrapper for a monoid of the maximum of a bounded type.
|
||||
newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
|
||||
deriving( Eq, Ord, Show )
|
||||
|
||||
+instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
|
||||
+ BoundedMax x <> BoundedMax y = BoundedMax (max x y)
|
||||
+
|
||||
instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
|
||||
mempty = BoundedMax minBound
|
||||
- (BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
|
||||
+ mappend = (<>)
|
||||
|
||||
-- | A newtype wrapper for a monoid of the minimum of a bounded type.
|
||||
newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
|
||||
deriving( Eq, Ord, Show )
|
||||
|
||||
+instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
|
||||
+ BoundedMin x <> BoundedMin y = BoundedMin (min x y)
|
||||
+
|
||||
instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
|
||||
mempty = BoundedMin maxBound
|
||||
- (BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
|
||||
\ No newline at end of file
|
||||
diff --git a/src/Extension/Data/Monoid.hs b/src/Extension/Data/Monoid.hs
|
||||
index 83655c34..9ce2f91b 100644
|
||||
--- a/src/Extension/Data/Monoid.hs
|
||||
+++ b/src/Extension/Data/Monoid.hs
|
||||
@@ -18,6 +18,7 @@ module Extension.Data.Monoid (
|
||||
) where
|
||||
|
||||
import Data.Monoid
|
||||
+import Data.Semigroup
|
||||
|
||||
#if __GLASGOW_HASKELL__ < 704
|
||||
|
||||
@@ -38,10 +39,13 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
|
||||
minMaxSingleton :: a -> MinMax a
|
||||
minMaxSingleton x = MinMax (Just (x, x))
|
||||
|
||||
+instance Ord a => Semigroup (MinMax a) where
|
||||
+ MinMax Nothing <> y = y
|
||||
+ x <> MinMax Nothing = x
|
||||
+ MinMax (Just (xMin, xMax)) <> MinMax (Just (yMin, yMax)) =
|
||||
+ MinMax (Just (min xMin yMin, max xMax yMax))
|
||||
+
|
||||
+
|
||||
instance Ord a => Monoid (MinMax a) where
|
||||
mempty = MinMax Nothing
|
||||
-
|
||||
- MinMax Nothing `mappend` y = y
|
||||
- x `mappend` MinMax Nothing = x
|
||||
- MinMax (Just (xMin, xMax)) `mappend` MinMax (Just (yMin, yMax)) =
|
||||
- MinMax (Just (min xMin yMin, max xMax yMax))
|
||||
+ mappend = (<>)
|
||||
diff --git a/src/Logic/Connectives.hs b/src/Logic/Connectives.hs
|
||||
index 2e441172..7206cc2c 100644
|
||||
--- a/src/Logic/Connectives.hs
|
||||
+++ b/src/Logic/Connectives.hs
|
||||
@@ -23,12 +23,12 @@ import Control.DeepSeq
|
||||
|
||||
-- | A conjunction of atoms of type a.
|
||||
newtype Conj a = Conj { getConj :: [a] }
|
||||
- deriving (Monoid, Foldable, Traversable, Eq, Ord, Show, Binary,
|
||||
+ deriving (Monoid, Semigroup, Foldable, Traversable, Eq, Ord, Show, Binary,
|
||||
Functor, Applicative, Monad, Alternative, MonadPlus, Typeable, Data, NFData)
|
||||
|
||||
-- | A disjunction of atoms of type a.
|
||||
newtype Disj a = Disj { getDisj :: [a] }
|
||||
- deriving (Monoid, Foldable, Traversable, Eq, Ord, Show, Binary,
|
||||
+ deriving (Monoid, Semigroup, Foldable, Traversable, Eq, Ord, Show, Binary,
|
||||
Functor, Applicative, Monad, Alternative, MonadPlus, Typeable, Data, NFData)
|
||||
|
||||
instance MonadDisj Disj where
|
||||
diff --git a/src/Text/PrettyPrint/Class.hs b/src/Text/PrettyPrint/Class.hs
|
||||
index f5eb42fe..13be6515 100644
|
||||
--- a/src/Text/PrettyPrint/Class.hs
|
||||
+++ b/src/Text/PrettyPrint/Class.hs
|
||||
@@ -187,9 +187,11 @@ instance Document Doc where
|
||||
nest i (Doc d) = Doc $ P.nest i d
|
||||
caseEmptyDoc yes no (Doc d) = if P.isEmpty d then yes else no
|
||||
|
||||
+instance Semigroup Doc where
|
||||
+ Doc d1 <> Doc d2 = Doc $ (P.<>) d1 d2
|
||||
+
|
||||
instance Monoid Doc where
|
||||
mempty = Doc $ P.empty
|
||||
- mappend (Doc d1) (Doc d2) = Doc $ (P.<>) d1 d2
|
||||
|
||||
------------------------------------------------------------------------------
|
||||
-- Additional combinators
|
||||
diff --git a/src/Text/PrettyPrint/Html.hs b/src/Text/PrettyPrint/Html.hs
|
||||
index 3de5e307..10103eb7 100644
|
||||
--- a/src/Text/PrettyPrint/Html.hs
|
||||
+++ b/src/Text/PrettyPrint/Html.hs
|
||||
@@ -90,7 +90,7 @@ attribute (key,value) = " " ++ key ++ "=\"" ++ escapeHtmlEntities value ++ "\""
|
||||
|
||||
-- | A 'Document' transformer that adds proper HTML escaping.
|
||||
newtype HtmlDoc d = HtmlDoc { getHtmlDoc :: d }
|
||||
- deriving( Monoid )
|
||||
+ deriving( Monoid, Semigroup )
|
||||
|
||||
-- | Wrap a document such that HTML markup can be added without disturbing the
|
||||
-- layout.
|
||||
@@ -182,9 +182,11 @@ getNoHtmlDoc = runIdentity . unNoHtmlDoc
|
||||
instance NFData d => NFData (NoHtmlDoc d) where
|
||||
rnf = rnf . getNoHtmlDoc
|
||||
|
||||
+instance Semigroup d => Semigroup (NoHtmlDoc d) where
|
||||
+ (<>) = liftA2 (<>)
|
||||
+
|
||||
instance Monoid d => Monoid (NoHtmlDoc d) where
|
||||
mempty = pure mempty
|
||||
- mappend = liftA2 mappend
|
||||
|
||||
instance Document d => Document (NoHtmlDoc d) where
|
||||
char = pure . char
|
@ -0,0 +1,77 @@
|
||||
diff --git a/plugins/sapic/Makefile b/plugins/sapic/Makefile
|
||||
index 8f1b1866..678accbe 100644
|
||||
--- a/plugins/sapic/Makefile
|
||||
+++ b/plugins/sapic/Makefile
|
||||
@@ -1,18 +1,18 @@
|
||||
TARGET = sapic
|
||||
-OBJS= color.cmo exceptions.cmo btree.cmo position.cmo positionplusinit.cmo var.cmo term.cmo fact.cmo atomformulaaction.cmo action.cmo atom.cmo formula.cmo tamarin.cmo sapicterm.cmo sapicvar.cmo sapicaction.cmo lexer.cmo sapic.cmo annotatedsapicaction.cmo annotatedsapictree.cmo progressfunction.cmo restrictions.cmo annotatedrule.cmo translationhelper.cmo basetranslation.cmo firsttranslation.cmo main.cmo
|
||||
+OBJS= color.cmx exceptions.cmx btree.cmx position.cmx positionplusinit.cmx var.cmx term.cmx fact.cmx atomformulaaction.cmx action.cmx atom.cmx formula.cmx tamarin.cmx sapicterm.cmx sapicvar.cmx sapicaction.cmx lexer.cmx sapic.cmx annotatedsapicaction.cmx annotatedsapictree.cmx progressfunction.cmx restrictions.cmx annotatedrule.cmx translationhelper.cmx basetranslation.cmx firsttranslation.cmx main.cmx
|
||||
FLAGS=-g
|
||||
|
||||
-OCAMLC := $(shell command -v ocamlc 2> /dev/null)
|
||||
+OCAMLOPT := $(shell command -v ocamlopt 2> /dev/null)
|
||||
OCAMLLEX := $(shell command -v ocamllex 2> /dev/null)
|
||||
OCAMLYACC := $(shell command -v ocamlyacc 2> /dev/null)
|
||||
OCAMLDEP := $(shell command -v ocamldep 2> /dev/null)
|
||||
-OCAMLC_GTEQ_402 := $(shell expr `ocamlc -version | sed -e 's/\.\([0-9][0-9]\)/\1/g' -e 's/\.\([0-9]\)/0\1/g' -e 's/^[0-9]\{3,4\}$$/&00/'` \>= 40200)
|
||||
+OCAMLC_GTEQ_402 := $(shell expr `ocamlopt -version | sed -e 's/\.\([0-9][0-9]\)/\1/g' -e 's/\.\([0-9]\)/0\1/g' -e 's/^[0-9]\{3,4\}$$/&00/'` \>= 40200)
|
||||
|
||||
default: sapic
|
||||
|
||||
sapic:
|
||||
-ifdef OCAMLC
|
||||
- @echo "Found ocamlc."
|
||||
+ifdef OCAMLOPT
|
||||
+ @echo "Found ocamlopt."
|
||||
ifdef OCAMLLEX
|
||||
@echo "Found ocamllex."
|
||||
ifdef OCAMLYACC
|
||||
@@ -22,9 +22,9 @@ ifdef OCAMLDEP
|
||||
ifeq "$(OCAMLC_GTEQ_402)" "1"
|
||||
@echo "Building SAPIC."
|
||||
$(MAKE) $(OBJS)
|
||||
- ocamlc $(FLAGS) -o $@ str.cma $(OBJS)
|
||||
- @echo "Installing SAPIC into ~/.local/bin/"
|
||||
- cp sapic ~/.local/bin
|
||||
+ ocamlopt $(FLAGS) -o $@ str.cmxa $(OBJS)
|
||||
+# @echo "Installing SAPIC into ~/.local/bin/"
|
||||
+# cp sapic ~/.local/bin
|
||||
else
|
||||
@echo "Found OCAML version < 4.02. SAPIC will not be installed."
|
||||
endif
|
||||
@@ -38,7 +38,7 @@ else
|
||||
@echo "ocamllex not found. SAPIC will not be installed."
|
||||
endif
|
||||
else
|
||||
- @echo "ocamlc not found. SAPIC will not be installed."
|
||||
+ @echo "ocamlopt not found. SAPIC will not be installed."
|
||||
endif
|
||||
|
||||
depend:
|
||||
@@ -48,20 +48,20 @@ lexer.ml: sapic.cmi
|
||||
|
||||
.PHONY: clean
|
||||
clean:
|
||||
- rm -rf *.cmi *.cmo $(TARGET)
|
||||
+ rm -rf *.cmi **.cmx $(TARGET)
|
||||
rm -rf sapic.ml sapic.mli lexer.ml lexer.mli
|
||||
|
||||
-.SUFFIXES: .ml .mli .mll .mly .cmo .cmi
|
||||
+.SUFFIXES: .ml .mli .mll .mly .cmx .cmi
|
||||
|
||||
-.ml.cmo:
|
||||
- ocamlc $(FLAGS) -c $<
|
||||
+.ml.cmx:
|
||||
+ ocamlopt $(FLAGS) -c $<
|
||||
.mli.cmi:
|
||||
- ocamlc $(FLAGS) -c $<
|
||||
+ ocamlopt $(FLAGS) -c $<
|
||||
.mll.ml:
|
||||
ocamllex $<
|
||||
.mly.ml:
|
||||
ocamlyacc $<
|
||||
.ml.mli:
|
||||
- ocamlc -i $< > $@
|
||||
+ ocamlopt -i $< > $@
|
||||
|
||||
-include .depend
|
@ -16,10 +16,10 @@ stdenv.mkDerivation rec {
|
||||
nativeBuildInputs = [ makeWrapper ];
|
||||
buildInputs = [ python ];
|
||||
|
||||
# TODO: Cleanup
|
||||
patchPhase = ''
|
||||
CA_PATH="$(echo '${cacert}/etc/ssl/certs/ca-bundle.crt' | sed 's/\//\\\//g')" # / -> \/
|
||||
sed -i -E 's/urlopen\(url\)/urlopen(url, cafile="'$CA_PATH'")/' repo
|
||||
substituteInPlace repo --replace \
|
||||
'urllib.request.urlopen(url)' \
|
||||
'urllib.request.urlopen(url, cafile="${cacert}/etc/ssl/certs/ca-bundle.crt")'
|
||||
'';
|
||||
|
||||
installPhase = ''
|
||||
|
@ -1,31 +1,31 @@
|
||||
{ stdenv, fetchurl, jre, unzip }:
|
||||
{ stdenv, fetchurl, makeWrapper, jre }:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "mediathekview-9";
|
||||
stdenv.mkDerivation rec {
|
||||
version = "13.2.1";
|
||||
name = "mediathekview-${version}";
|
||||
src = fetchurl {
|
||||
url = "mirror://sourceforge/zdfmediathk/MediathekView_9.zip";
|
||||
sha256 = "1wff0igr33z9p1mjw7yvb6658smdwnp22dv8klz0y8qg116wx7a4";
|
||||
url = "https://download.mediathekview.de/stabil/MediathekView-${version}.tar.gz";
|
||||
sha256 = "11wg6klviig0h7pprfaygamsgqr7drqra2s4yxgfak6665033l2a";
|
||||
};
|
||||
unpackPhase = "true";
|
||||
|
||||
buildInputs = [ unzip ];
|
||||
|
||||
# Could use some more love
|
||||
# Maybe we can also preconfigure locations for vlc and the others.
|
||||
nativeBuildInputs = [ makeWrapper ];
|
||||
|
||||
installPhase = ''
|
||||
mkdir -p $out/bin
|
||||
mkdir -p $out/opt/mediathekview
|
||||
cd $out/opt/mediathekview
|
||||
unzip $src
|
||||
find . -iname '*.exe' -delete
|
||||
sed -i -e 's, java, ${jre}/bin/java,' MediathekView__Linux.sh
|
||||
ln -s $out/opt/mediathekview/MediathekView__Linux.sh $out/bin/mediathekview
|
||||
'';
|
||||
mkdir -p $out/{lib,bin,share/mediathekview}
|
||||
|
||||
install -m644 MediathekView.jar $out/
|
||||
install -m644 -t $out/lib lib/*
|
||||
install -m755 bin/flv.sh $out/share/mediathekview
|
||||
|
||||
makeWrapper ${jre}/bin/java $out/bin/mediathek \
|
||||
--add-flags "-cp '$out/lib/*' -jar $out/MediathekView.jar"
|
||||
'';
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
homepage = http://zdfmediathk.sourceforge.net/;
|
||||
license = stdenv.lib.licenses.gpl3;
|
||||
maintainers = [ maintainers.chaoflow ];
|
||||
platforms = platforms.linux; # also macOS and cygwin, but not investigated, yet
|
||||
description = "Offers access to the Mediathek of different tv stations (ARD, ZDF, Arte, etc.)";
|
||||
homepage = https://mediathekview.de/;
|
||||
license = licenses.gpl3;
|
||||
maintainers = with maintainers; [ chaoflow moredread ];
|
||||
platforms = platforms.all;
|
||||
};
|
||||
}
|
||||
|
@ -1,6 +1,6 @@
|
||||
{ stdenv, fetchurl, fetchFromGitHub, makeWrapper
|
||||
, docutils, perl, pkgconfig, python3, which, ffmpeg_4
|
||||
, freefont_ttf, freetype, libass, libpthreadstubs
|
||||
, freefont_ttf, freetype, libass, libpthreadstubs, mujs
|
||||
, lua, luasocket, libuchardet, libiconv ? null, darwin
|
||||
|
||||
, waylandSupport ? false
|
||||
@ -19,6 +19,11 @@
|
||||
, libcdio ? null
|
||||
, libcdio-paranoia ? null
|
||||
|
||||
, vulkanSupport ? stdenv.isLinux
|
||||
, shaderc ? null
|
||||
, vulkan-headers ? null
|
||||
, vulkan-loader ? null
|
||||
|
||||
, alsaSupport ? true, alsaLib ? null
|
||||
, bluraySupport ? true, libbluray ? null
|
||||
, bs2bSupport ? true, libbs2b ? null
|
||||
@ -134,7 +139,7 @@ in stdenv.mkDerivation rec {
|
||||
|
||||
buildInputs = [
|
||||
ffmpeg_4 freetype libass libpthreadstubs
|
||||
lua luasocket libuchardet
|
||||
lua luasocket libuchardet mujs
|
||||
] ++ optional alsaSupport alsaLib
|
||||
++ optional archiveSupport libarchive
|
||||
++ optional bluraySupport libbluray
|
||||
@ -163,6 +168,7 @@ in stdenv.mkDerivation rec {
|
||||
++ optionals dvdnavSupport [ libdvdnav libdvdnav.libdvdread ]
|
||||
++ optionals waylandSupport [ wayland wayland-protocols libxkbcommon ]
|
||||
++ optionals x11Support [ libX11 libXext libGLU_combined libXxf86vm libXrandr ]
|
||||
++ optionals vulkanSupport [ shaderc vulkan-headers vulkan-loader ]
|
||||
++ optionals stdenv.isDarwin (with darwin.apple_sdk.frameworks; [
|
||||
CoreFoundation Cocoa CoreAudio
|
||||
]);
|
||||
@ -176,7 +182,7 @@ in stdenv.mkDerivation rec {
|
||||
'';
|
||||
|
||||
# Ensure youtube-dl is available in $PATH for mpv
|
||||
wrapperFlags =
|
||||
wrapperFlags =
|
||||
let
|
||||
getPath = type : "${luasocket}/lib/lua/${lua.luaversion}/?.${type};" +
|
||||
"${luasocket}/share/lua/${lua.luaversion}/?.${type}";
|
||||
|
@ -1,38 +0,0 @@
|
||||
{ stdenv, fetchurl, jre }:
|
||||
|
||||
with stdenv;
|
||||
|
||||
mkDerivation rec {
|
||||
|
||||
version = "10";
|
||||
name = "zdfmediathk-${version}";
|
||||
src = fetchurl {
|
||||
url = "https://github.com/xaverW/MediathekView/archive/Version${version}.tar.gz";
|
||||
sha256 = "12iyigqjslbn8rzym1mq1s0mvss7r97aiy6wfdrq5m0psarlcljw";
|
||||
};
|
||||
|
||||
installPhase = ''
|
||||
mkdir -p $out/{lib,bin,share/{doc,licenses}}
|
||||
cd dist/
|
||||
install -m644 MediathekView.jar $out/
|
||||
install -m644 -t $out/lib lib/*
|
||||
install -m755 bin/flv.sh $out/bin/
|
||||
install -m644 -t $out/share/doc Anleitung/*.pdf
|
||||
install -m644 -t $out/share/licenses Copyright/{*.*,_copyright}
|
||||
bin="$out/bin/mediathek"
|
||||
cat >> "$bin" << EOF
|
||||
#!/bin/sh
|
||||
exec ${jre}/bin/java -cp "$out/lib/*" -Xms128M -Xmx1G -jar "$out/MediathekView.jar" "\$@"
|
||||
EOF
|
||||
chmod +x "$bin"
|
||||
'';
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
description = "Offers access to the Mediathek of different tv stations (ARD, ZDF, Arte, etc.)";
|
||||
homepage = https://github.com/xaverW/MediathekView/;
|
||||
license = licenses.gpl3;
|
||||
maintainers = [ maintainers.flosse ];
|
||||
platforms = platforms.all;
|
||||
};
|
||||
|
||||
}
|
@ -3,13 +3,13 @@
|
||||
stdenv.mkDerivation rec {
|
||||
name = "${pname}-${version}";
|
||||
pname = "dynamips";
|
||||
version = "0.2.18";
|
||||
version = "0.2.19";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "GNS3";
|
||||
repo = pname;
|
||||
rev = "v${version}";
|
||||
sha256 = "1jrwvrpl61rqbjjphv8v7ryhdwfjrpps76dbvkpl43hpn5hqqis2";
|
||||
sha256 = "0x63m37vjyp57900x09gfvw02cwg85b33918x7fjj9x37wgmi5qf";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ cmake ];
|
||||
|
@ -544,14 +544,19 @@ rec {
|
||||
buildInputs = [ jshon pigz coreutils findutils jq ];
|
||||
# Image name and tag must be lowercase
|
||||
imageName = lib.toLower name;
|
||||
imageTag = if tag == null then "" else lib.toLower tag;
|
||||
baseJson = configJson;
|
||||
passthru.imageTag =
|
||||
if tag == null
|
||||
then lib.head (lib.splitString "-" (lib.last (lib.splitString "/" result)))
|
||||
else lib.toLower tag;
|
||||
} ''
|
||||
${lib.optionalString (tag == null) ''
|
||||
${if (tag == null) then ''
|
||||
outName="$(basename "$out")"
|
||||
outHash=$(echo "$outName" | cut -d - -f 1)
|
||||
|
||||
imageTag=$outHash
|
||||
'' else ''
|
||||
imageTag="${tag}"
|
||||
''}
|
||||
|
||||
find ${bulkLayers} -mindepth 1 -maxdepth 1 | sort -t/ -k5 -n > layer-list
|
||||
|
@ -2,11 +2,11 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "ant-theme";
|
||||
version = "1.2.0";
|
||||
version = "1.3.0";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/EliverLara/Ant/releases/download/v${version}/Ant.tar";
|
||||
sha256 = "15751pnb94g2wi6y932l3d7ksaz18402zbzp3l7ryy0lqwjnqvkj";
|
||||
sha256 = "1r795v96ywzcb4dq08q2fdbmfia32g36cc512mhy41s8fb1a47dz";
|
||||
};
|
||||
|
||||
propagatedUserEnvPkgs = [
|
||||
@ -25,7 +25,7 @@ stdenv.mkDerivation rec {
|
||||
|
||||
outputHashAlgo = "sha256";
|
||||
outputHashMode = "recursive";
|
||||
outputHash = "1fzy7bq5v9fzjpfxplvk0nwjgamcva83462gkz01lhr1mipb92h1";
|
||||
outputHash = "1gpacrmi5y87shp39jgy78n0ca2xdpvbqfh0mgldlxx99ca9rvvy";
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
description = "A flat and light theme with a modern look";
|
||||
|
@ -2,16 +2,16 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "nordic-polar-${version}";
|
||||
version = "1.3.0";
|
||||
version = "1.4.0";
|
||||
|
||||
srcs = [
|
||||
(fetchurl {
|
||||
url = "https://github.com/EliverLara/Nordic-Polar/releases/download/v${version}/Nordic-Polar.tar.xz";
|
||||
sha256 = "1c5zgymkwd89fr680c49siwbkhfbay56iq9vlyqkj1dp0xnc528s";
|
||||
sha256 = "0sw4m1njnxal1kkiipsvfg9ndzxsf9rxfba5vhwswyzk388264xa";
|
||||
})
|
||||
(fetchurl {
|
||||
url = "https://github.com/EliverLara/Nordic-Polar/releases/download/v${version}/Nordic-Polar-standard-buttons.tar.xz";
|
||||
sha256 = "0nxzcgqzc42qvnhafranz6rwanqb4wzf9ychm5m4yrlp3ngw38p4";
|
||||
sha256 = "0ix0x0pnhfd1lrfj7a7n8xfg8vvzg7m0dzrsj8gzpav6wvwlypiy";
|
||||
})
|
||||
];
|
||||
|
||||
|
@ -2,16 +2,24 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "nordic-${version}";
|
||||
version = "1.3.0";
|
||||
version = "1.5.4";
|
||||
|
||||
srcs = [
|
||||
(fetchurl {
|
||||
url = "https://github.com/EliverLara/Nordic/releases/download/v${version}/Nordic.tar.xz";
|
||||
sha256 = "04axs2yldppcx159nwj70g4cyw0hbbzk5250677i9ny8b0w3gr9x";
|
||||
sha256 = "0m00hwr6ms9fzlpl97d972wvgq5l0m11mpn213248a8sqbh2zz9g";
|
||||
})
|
||||
(fetchurl {
|
||||
url = "https://github.com/EliverLara/Nordic/releases/download/v${version}/Nordic-blue.tar.xz";
|
||||
sha256 = "05k1m9f0q4mfaqp2as3ymjsqmyz0bs5cd576srd5v952dzxmmbm2";
|
||||
})
|
||||
(fetchurl {
|
||||
url = "https://github.com/EliverLara/Nordic/releases/download/v${version}/Nordic-standard-buttons.tar.xz";
|
||||
sha256 = "1h0690cijaipidb5if2bxhvvkrx5src3akyxvfywxg4bf8x7jxs5";
|
||||
sha256 = "1qps13fpp8y83c25c51w7kyds266gmks8c7kjp23iybij2lkny1m";
|
||||
})
|
||||
(fetchurl {
|
||||
url = "https://github.com/EliverLara/Nordic/releases/download/v${version}/Nordic-blue-standard-buttons.tar.xz";
|
||||
sha256 = "1c0j6qsxa6zahrl9ad0q6pczgbmm8qn9qsd7k41yk2ndh9iqzr5y";
|
||||
})
|
||||
];
|
||||
|
@ -199,4 +199,4 @@ let result = stdenv.mkDerivation rec {
|
||||
platforms = [ "i686-linux" "x86_64-linux" "armv7l-linux" "aarch64-linux" ]; # some inherit jre.meta.platforms
|
||||
};
|
||||
|
||||
}; in result
|
||||
}; in stdenv.lib.trivial.warn "Public updates for Oracle Java SE 8 released after January 2019 will not be available for business, commercial or production use without a commercial license. See https://java.com/en/download/release_notice.jsp for more information." result
|
||||
|
@ -6,8 +6,8 @@ import ./jdk-linux-base.nix {
|
||||
buildVersion = "09";
|
||||
sha256.i686-linux = "1f9n93zmkggchaxkchp4bqasvxznn96zjci34f52h7v392jkzqac";
|
||||
sha256.x86_64-linux = "0w730v2q0iaxf2lprabwmy7129byrs0hhdbwas575p1xmk00qw6b";
|
||||
sha256.armv7l-linux = "0p82d2vah63a6r2rip9v17lbjam39kgqp0584q3cnljgr5p9gyhz";
|
||||
sha256.aarch64-linux = "1qm4b3aj5wi0hp9q6gy1da4bz5k9ky4shgiqa4zxrib4kjp9yf0k";
|
||||
sha256.armv7l-linux = "0y6bvq93lsf21v6ca536dpfhkk5ljsj7c6di0qzkban37bivj0si";
|
||||
sha256.aarch64-linux = "1bybysgg9llqzllsmdszmmb73v5az2l1shxn6lxwv3wwiazpf47q";
|
||||
releaseToken = "42970487e3af4f5aa5bca3f542482c60";
|
||||
jceName = "jce_policy-8.zip";
|
||||
sha256JCE = "0n8b6b8qmwb14lllk2lk1q1ahd3za9fnjigz5xn65mpg48whl0pk";
|
||||
|
@ -2,12 +2,12 @@
|
||||
# jce download url: http://www.oracle.com/technetwork/java/javase/downloads/jce8-download-2133166.html;
|
||||
import ./jdk-linux-base.nix {
|
||||
productVersion = "8";
|
||||
patchVersion = "201";
|
||||
patchVersion = "202";
|
||||
buildVersion = "09";
|
||||
sha256.i686-linux = "1f9n93zmkggchaxkchp4bqasvxznn96zjci34f52h7v392jkzqac";
|
||||
sha256.x86_64-linux = "0w730v2q0iaxf2lprabwmy7129byrs0hhdbwas575p1xmk00qw6b";
|
||||
sha256.armv7l-linux = "0p82d2vah63a6r2rip9v17lbjam39kgqp0584q3cnljgr5p9gyhz";
|
||||
sha256.aarch64-linux = "1qm4b3aj5wi0hp9q6gy1da4bz5k9ky4shgiqa4zxrib4kjp9yf0k";
|
||||
sha256.i686-linux = "19np392dwdqdq39lmm10607w2h042lrm5953fnsfh1bb9jli1pgj";
|
||||
sha256.x86_64-linux = "1q4l8pymjvsvxfwaw0rdcnhryh1la2bvg5f4d4my41ka390k4p4s";
|
||||
sha256.armv7l-linux = "06aljl7dqmmhmp7xswgvkcgh9mam71wnqydg9yb3hkcc443cm581";
|
||||
sha256.aarch64-linux = "12v9ndv7a2c9zqq6ai2vsgwad0lzmf4c6jxy4p9miapmhjzx5vii";
|
||||
releaseToken = "42970487e3af4f5aa5bca3f542482c60";
|
||||
jceName = "jce_policy-8.zip";
|
||||
sha256JCE = "0n8b6b8qmwb14lllk2lk1q1ahd3za9fnjigz5xn65mpg48whl0pk";
|
||||
|
@ -8,30 +8,32 @@ let
|
||||
glslang = fetchFromGitHub {
|
||||
owner = "KhronosGroup";
|
||||
repo = "glslang";
|
||||
rev = "32d3ec319909fcad0b2b308fe1635198773e8316";
|
||||
sha256 = "1kmgjv5kbrjy6azpgwnjcn3cj8vg5i8hnyk3m969sc0gq2j1rbjj";
|
||||
rev = "712cd6618df2c77e126d68042ad7a81a69ee4a6f";
|
||||
sha256 = "0wncdj6q1hn40lc7cnz97mx5qjvb8p13mhxilnncgcmf0crsvblz";
|
||||
};
|
||||
spirv-tools = fetchFromGitHub {
|
||||
owner = "KhronosGroup";
|
||||
repo = "SPIRV-Tools";
|
||||
rev = "fe2fbee294a8ad4434f828a8b4d99eafe9aac88c";
|
||||
sha256 = "03rq4ypwqnz34n8ip85n95a3b9rxb34j26azzm3b3invaqchv19x";
|
||||
rev = "df5bd2d05ac1fd3ec3024439f885ec21cc949b22";
|
||||
sha256 = "0l8ds4nn2qcfi8535ai8891i3547x35hscs2jxwwq6qjgw1sgkax";
|
||||
};
|
||||
spirv-headers = fetchFromGitHub {
|
||||
owner = "KhronosGroup";
|
||||
repo = "SPIRV-Headers";
|
||||
rev = "3ce3e49d73b8abbf2ffe33f829f941fb2a40f552";
|
||||
sha256 = "0yk4bzqifdqpmdxkhvrxbdqhf5ngkga0ig1yyz7khr7rklqfz7wp";
|
||||
rev = "79b6681aadcb53c27d1052e5f8a0e82a981dbf2f";
|
||||
sha256 = "0flng2rdmc4ndq3j71h6wk1ibcjvhjrg2rzd6rv445vcsf0jh2pj";
|
||||
};
|
||||
in stdenv.mkDerivation rec {
|
||||
name = "shaderc-git-${version}";
|
||||
version = "2018-06-01";
|
||||
name = "shaderc-${version}";
|
||||
version = "2018.0";
|
||||
|
||||
outputs = [ "out" "lib" "bin" "dev" "static" ];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "google";
|
||||
repo = "shaderc";
|
||||
rev = "be8e0879750303a1de09385465d6b20ecb8b380d";
|
||||
sha256 = "16p25ry2i4zrj00zihfpf210f8xd7g398ffbw25igvi9mbn4nbfd";
|
||||
rev = "v${version}";
|
||||
sha256 = "0qigmj0riw43pgjn5f6kpvk72fajssz1lc2aiqib5qvmj9rqq3hl";
|
||||
};
|
||||
|
||||
patchPhase = ''
|
||||
@ -40,7 +42,14 @@ in stdenv.mkDerivation rec {
|
||||
ln -s ${spirv-headers} third_party/spirv-tools/external/spirv-headers
|
||||
'';
|
||||
|
||||
buildInputs = [ cmake python ];
|
||||
nativeBuildInputs = [ cmake python ];
|
||||
|
||||
postInstall = ''
|
||||
moveToOutput "lib/*.a" $static
|
||||
'';
|
||||
|
||||
preConfigure = ''cmakeFlags="$cmakeFlags -DCMAKE_INSTALL_BINDIR=$bin/bin"'';
|
||||
|
||||
enableParallelBuilding = true;
|
||||
|
||||
cmakeFlags = [ "-DSHADERC_SKIP_TESTS=ON" ];
|
||||
@ -48,5 +57,6 @@ in stdenv.mkDerivation rec {
|
||||
meta = with stdenv.lib; {
|
||||
inherit (src.meta) homepage;
|
||||
description = "A collection of tools, libraries and tests for shader compilation.";
|
||||
license = [ licenses.asl20 ];
|
||||
};
|
||||
}
|
||||
|
@ -915,15 +915,6 @@ self: super: {
|
||||
language-puppet = dontHaddock super.language-puppet;
|
||||
filecache = overrideCabal super.filecache (drv: { doCheck = !pkgs.stdenv.isDarwin; });
|
||||
|
||||
# Missing FlexibleContexts in testsuite
|
||||
# https://github.com/EduardSergeev/monad-memo/pull/4
|
||||
monad-memo =
|
||||
let patch = pkgs.fetchpatch
|
||||
{ url = https://github.com/EduardSergeev/monad-memo/pull/4.patch;
|
||||
sha256 = "14mf9940arilg6v54w9bc4z567rfbmm7gknsklv965fr7jpinxxj";
|
||||
};
|
||||
in appendPatch super.monad-memo patch;
|
||||
|
||||
# https://github.com/alphaHeavy/protobuf/issues/34
|
||||
protobuf = dontCheck super.protobuf;
|
||||
|
||||
|
@ -1,22 +1,22 @@
|
||||
{ stdenv, fetchgit, clang }:
|
||||
{ stdenv, fetchurl, readline }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "mujs-2017-01-24";
|
||||
name = "mujs-${version}";
|
||||
version = "1.0.5";
|
||||
|
||||
src = fetchgit {
|
||||
url = git://git.ghostscript.com/mujs.git;
|
||||
rev = "4006739a28367c708dea19aeb19b8a1a9326ce08";
|
||||
sha256 = "0wvjl8lkh0ga6fkmxgjqq77yagncbv1bdy6hpnxq31x3mkwn1s51";
|
||||
src = fetchurl {
|
||||
url = "https://mujs.com/downloads/mujs-${version}.tar.xz";
|
||||
sha256 = "02cqrfnww2s3ylcvqin1951f2c5nzpby8gxb207p2hbrivbg8f0l";
|
||||
};
|
||||
|
||||
buildInputs = [ clang ];
|
||||
buildInputs = [ readline ];
|
||||
|
||||
makeFlags = [ "prefix=$(out)" ];
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
homepage = http://mujs.com/;
|
||||
description = "A lightweight, embeddable Javascript interpreter";
|
||||
platforms = stdenv.lib.platforms.linux;
|
||||
platforms = platforms.unix;
|
||||
maintainers = with maintainers; [ pSub ];
|
||||
license = licenses.gpl3;
|
||||
};
|
||||
|
@ -95,6 +95,7 @@
|
||||
, libxcbxfixesExtlib ? true # X11 grabbing mouse rendering
|
||||
, libxcbshapeExtlib ? true # X11 grabbing shape rendering
|
||||
, libXv ? null # Xlib support
|
||||
, libXext ? null # Xlib support
|
||||
, lzma ? null # xz-utils
|
||||
, nvenc ? false, nvidia-video-sdk ? null, nv-codec-headers ? null # NVIDIA NVENC support
|
||||
, callPackage # needed for NVENC to access external ffmpeg nvidia headers
|
||||
@ -139,7 +140,7 @@
|
||||
* Darwin frameworks
|
||||
*/
|
||||
, Cocoa, CoreAudio, CoreServices, AVFoundation, MediaToolbox
|
||||
, VideoDecodeAcceleration, CF
|
||||
, VideoDecodeAcceleration, cf-private
|
||||
}:
|
||||
|
||||
/* Maintainer notes:
|
||||
@ -230,11 +231,11 @@ assert nvenc -> nvidia-video-sdk != null && nonfreeLicensing;
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "ffmpeg-full-${version}";
|
||||
version = "4.0.2";
|
||||
version = "4.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://www.ffmpeg.org/releases/ffmpeg-${version}.tar.xz";
|
||||
sha256 = "15rgzcmdccy4flajs63gkz4n3k24wkkg50r13l1r83lrxg4hqp59";
|
||||
sha256 = "150rrm549fy1x71c9whmyi5knyd9sliwvmcsm438bdgg4v8c93m3";
|
||||
};
|
||||
|
||||
prePatch = ''
|
||||
@ -355,7 +356,7 @@ stdenv.mkDerivation rec {
|
||||
(enableFeature (libvorbis != null) "libvorbis")
|
||||
(enableFeature (libvpx != null) "libvpx")
|
||||
(enableFeature (libwebp != null) "libwebp")
|
||||
(enableFeature (libX11 != null && libXv != null) "xlib")
|
||||
(enableFeature (libX11 != null && libXv != null && libXext != null) "xlib")
|
||||
(enableFeature (libxcb != null) "libxcb")
|
||||
(enableFeature libxcbshmExtlib "libxcb-shm")
|
||||
(enableFeature libxcbxfixesExtlib "libxcb-xfixes")
|
||||
@ -408,7 +409,7 @@ stdenv.mkDerivation rec {
|
||||
bzip2 celt fontconfig freetype frei0r fribidi game-music-emu gnutls gsm
|
||||
libjack2 ladspaH lame libaom libass libbluray libbs2b libcaca libdc1394 libmodplug libmysofa
|
||||
libogg libopus libssh libtheora libvdpau libvorbis libvpx libwebp libX11
|
||||
libxcb libXv lzma openal openjpeg libpulseaudio rtmpdump opencore-amr
|
||||
libxcb libXv libXext lzma openal openjpeg libpulseaudio rtmpdump opencore-amr
|
||||
samba SDL2 soxr speex vid-stab vo-amrwbenc wavpack x264 x265 xavs xvidcore
|
||||
zeromq4 zlib
|
||||
] ++ optional openglExtlib libGLU_combined
|
||||
@ -431,7 +432,7 @@ stdenv.mkDerivation rec {
|
||||
FILES+=($(ls $out/lib/*.dylib))
|
||||
for f in ''${FILES[@]}; do
|
||||
if [ ! -h "$f" ]; then
|
||||
install_name_tool -change ${CF}/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation /System/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation "$f"
|
||||
install_name_tool -change ${cf-private}/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation /System/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation "$f"
|
||||
fi
|
||||
done
|
||||
'';
|
||||
|
@ -6,7 +6,7 @@
|
||||
|
||||
callPackage ./generic.nix (args // rec {
|
||||
version = "${branch}";
|
||||
branch = "3.4.4";
|
||||
sha256 = "0xmcijcpa7b59ws5ycmnp0a3pjmnpgly0zv8yff6if4p7pw7406f";
|
||||
branch = "3.4.5";
|
||||
sha256 = "0cbzysj9pskxh1kfdwmq2848fn6gi4pvh5y3insv10pdhpcjp8a3";
|
||||
darwinFrameworks = [ Cocoa CoreMedia ];
|
||||
})
|
||||
|
@ -6,7 +6,7 @@
|
||||
|
||||
callPackage ./generic.nix (args // rec {
|
||||
version = "${branch}";
|
||||
branch = "4.0.2";
|
||||
sha256 = "0mnh41j3kzi3x3clai1yhqasr1kc8zvd5cz0283pxhs2bxrm2v1l";
|
||||
branch = "4.1";
|
||||
sha256 = "19d16dhb4gx3akhbqd8844awx1axxli91bsjwsm4qp2a4i1zp15n";
|
||||
darwinFrameworks = [ Cocoa CoreMedia ];
|
||||
})
|
||||
|
@ -8,11 +8,11 @@ assert odbcSupport -> unixODBC != null;
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "freetds-${version}";
|
||||
version = "1.00.109";
|
||||
version = "1.00.110";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://www.freetds.org/files/stable/${name}.tar.bz2";
|
||||
sha256 = "0d00ixf78jzkyhccxjsaspz7yvlwk0xvrfcqfca4cwnwvnyb54ry";
|
||||
sha256 = "1zxgvc9ikw34fsbkn9by7hwqz0p6m3f178zmj2s0qqpi84qq1vw2";
|
||||
};
|
||||
|
||||
buildInputs = [
|
||||
|
@ -9,11 +9,11 @@ with stdenv.lib;
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "gdal-${version}";
|
||||
version = "2.3.2";
|
||||
version = "2.4.0";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://download.osgeo.org/gdal/${version}/${name}.tar.xz";
|
||||
sha256 = "191jknma0vricrgdcdmwh8588rwly6a77lmynypxdl87i3z7hv9z";
|
||||
sha256 = "09qgy36z0jc9w05373m4n0vm4j54almdzql6z9p9zr9pdp61syf3";
|
||||
};
|
||||
|
||||
buildInputs = [ unzip libjpeg libtiff libpng proj openssl sqlite
|
||||
@ -51,6 +51,20 @@ stdenv.mkDerivation rec {
|
||||
#ifdef swap\
|
||||
#undef swap\
|
||||
#endif' ogr/ogrsf_frmts/mysql/ogr_mysql.h
|
||||
|
||||
# poppler 0.73.0 support
|
||||
patch -lp2 <${
|
||||
fetchpatch {
|
||||
url = "https://github.com/OSGeo/gdal/commit/29f4dfbcac2de718043f862166cd639ab578b552.diff";
|
||||
sha256 = "1h2rsjjrgwqfgqzppmzv5jgjs1dbbg8pvfmay0j9y0618qp3r734";
|
||||
}
|
||||
} || true
|
||||
patch -p2 <${
|
||||
fetchpatch {
|
||||
url = "https://github.com/OSGeo/gdal/commit/19967e682738977e11e1d0336e0178882c39cad2.diff";
|
||||
sha256 = "12yqd77226i6xvzgqmxiac5ghdinixh8k2crg1r2gnhc0xlc3arj";
|
||||
}
|
||||
}
|
||||
'';
|
||||
|
||||
# - Unset CC and CXX as they confuse libtool.
|
||||
|
@ -8,6 +8,7 @@
|
||||
, doCheck ? stdenv.config.doCheckByDefault or false
|
||||
, coreutils, dbus, libxml2, tzdata
|
||||
, desktop-file-utils, shared-mime-info
|
||||
, darwin
|
||||
}:
|
||||
|
||||
with stdenv.lib;
|
||||
@ -44,6 +45,7 @@ let
|
||||
ln -sr -t "''${!outputInclude}/include/" "''${!outputInclude}"/lib/*/include/* 2>/dev/null || true
|
||||
'';
|
||||
|
||||
binPrograms = optional (!stdenv.isDarwin) "gapplication" ++ [ "gdbus" "gio" "gsettings" ];
|
||||
version = "2.58.2";
|
||||
in
|
||||
|
||||
@ -88,7 +90,12 @@ stdenv.mkDerivation rec {
|
||||
] ++ optionals stdenv.isLinux [
|
||||
libselinux
|
||||
utillinuxMinimal # for libmount
|
||||
];
|
||||
] ++ optionals stdenv.isDarwin (with darwin.apple_sdk.frameworks; [
|
||||
AppKit Carbon Cocoa CoreFoundation CoreServices Foundation
|
||||
# Needed for CFURLCreateFromFSRef, etc. which have deen deprecated
|
||||
# since 10.9 and are not part of swift-corelibs CoreFoundation.
|
||||
darwin.cf-private
|
||||
]);
|
||||
|
||||
nativeBuildInputs = [
|
||||
meson ninja pkgconfig perl python3 gettext gtk-doc docbook_xsl docbook_xml_dtd_45 glibcLocales
|
||||
@ -126,15 +133,17 @@ stdenv.mkDerivation rec {
|
||||
|
||||
postInstall = ''
|
||||
mkdir -p $bin/bin
|
||||
for app in gapplication gdbus gio gsettings; do
|
||||
for app in ${concatStringsSep " " binPrograms}; do
|
||||
mv "$dev/bin/$app" "$bin/bin"
|
||||
done
|
||||
|
||||
'' + optionalString (!stdenv.isDarwin) ''
|
||||
# Add gio-launch-desktop to $out so we can refer to it from $dev
|
||||
mkdir $out/bin
|
||||
mv "$dev/bin/gio-launch-desktop" "$out/bin/"
|
||||
ln -s "$out/bin/gio-launch-desktop" "$bin/bin/"
|
||||
|
||||
'' + ''
|
||||
moveToOutput "share/glib-2.0" "$dev"
|
||||
substituteInPlace "$dev/bin/gdbus-codegen" --replace "$out" "$dev"
|
||||
sed -i "$dev/bin/glib-gettextize" -e "s|^gettext_dir=.*|gettext_dir=$dev/share/glib-2.0/gettext|"
|
||||
|
@ -2,22 +2,18 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "libaom-${version}";
|
||||
version = "1.0.0";
|
||||
version = "1.0.0-errata1";
|
||||
|
||||
src = fetchgit {
|
||||
url = "https://aomedia.googlesource.com/aom";
|
||||
rev = "v${version}";
|
||||
sha256 = "07h2vhdiq7c3fqaz44rl4vja3dgryi6n7kwbwbj1rh485ski4j82";
|
||||
sha256 = "090phh4jl9z6m2pwpfpwcjh6iyw0byngb2n112qxkg6a3gsaa62f";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [
|
||||
yasm perl cmake pkgconfig python3
|
||||
];
|
||||
|
||||
cmakeFlags = [
|
||||
"-DBUILD_SHARED_LIBS=ON"
|
||||
];
|
||||
|
||||
preConfigure = ''
|
||||
# build uses `git describe` to set the build version
|
||||
cat > $NIX_BUILD_TOP/git << "EOF"
|
||||
|
@ -102,6 +102,7 @@
|
||||
, "svgo"
|
||||
, "swagger"
|
||||
, "tern"
|
||||
, "textlint"
|
||||
, "three"
|
||||
, "tiddlywiki"
|
||||
, "triton"
|
||||
|
File diff suppressed because it is too large
Load Diff
37
pkgs/development/python-modules/audio-metadata/default.nix
Normal file
37
pkgs/development/python-modules/audio-metadata/default.nix
Normal file
@ -0,0 +1,37 @@
|
||||
{ lib, buildPythonPackage, fetchPypi, pythonOlder
|
||||
, attrs
|
||||
, bidict
|
||||
, bitstruct
|
||||
, more-itertools
|
||||
, pprintpp
|
||||
}:
|
||||
|
||||
buildPythonPackage rec {
|
||||
pname = "audio-metadata";
|
||||
version = "0.3.0";
|
||||
|
||||
src = fetchPypi {
|
||||
inherit pname version;
|
||||
sha256 = "1jd0wzhh9as2qyiwggqmvsbsm5nlb73qnxix2mcar53cddvwrvj7";
|
||||
};
|
||||
|
||||
propagatedBuildInputs = [
|
||||
attrs
|
||||
bidict
|
||||
bitstruct
|
||||
more-itertools
|
||||
pprintpp
|
||||
];
|
||||
|
||||
# No tests
|
||||
doCheck = false;
|
||||
|
||||
disabled = pythonOlder "3.6";
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/thebigmunch/audio-metadata;
|
||||
description = "A library for reading and, in the future, writing metadata from audio files";
|
||||
license = licenses.mit;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
42
pkgs/development/python-modules/bidict/default.nix
Normal file
42
pkgs/development/python-modules/bidict/default.nix
Normal file
@ -0,0 +1,42 @@
|
||||
{ lib, buildPythonPackage, fetchPypi
|
||||
, setuptools_scm
|
||||
, sphinx
|
||||
, hypothesis
|
||||
, py
|
||||
, pytest
|
||||
, pytest-benchmark
|
||||
, sortedcollections
|
||||
, sortedcontainers
|
||||
}:
|
||||
|
||||
buildPythonPackage rec {
|
||||
pname = "bidict";
|
||||
version = "0.17.5";
|
||||
|
||||
src = fetchPypi {
|
||||
inherit pname version;
|
||||
sha256 = "1icj0fnfx47n6i33pj5gfrmd1rzpvah1jihhdhqiqx2cy9rs6x4c";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ setuptools_scm ];
|
||||
propagatedBuildInputs = [ sphinx ];
|
||||
|
||||
checkInputs = [
|
||||
hypothesis
|
||||
py
|
||||
pytest
|
||||
pytest-benchmark
|
||||
sortedcollections
|
||||
sortedcontainers
|
||||
];
|
||||
checkPhase = ''
|
||||
pytest tests
|
||||
'';
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/jab/bidict;
|
||||
description = "Efficient, Pythonic bidirectional map data structures and related functionality";
|
||||
license = licenses.mpl20;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
18
pkgs/development/python-modules/bitstruct/default.nix
Normal file
18
pkgs/development/python-modules/bitstruct/default.nix
Normal file
@ -0,0 +1,18 @@
|
||||
{ lib, buildPythonPackage, fetchPypi }:
|
||||
|
||||
buildPythonPackage rec {
|
||||
pname = "bitstruct";
|
||||
version = "6.0.0";
|
||||
|
||||
src = fetchPypi {
|
||||
inherit pname version;
|
||||
sha256 = "1znqgy2ikdqn6n6mv1ccfbl0q7x65bh3i9ph0yjl4rihwvxyg9fg";
|
||||
};
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/eerimoq/bitstruct;
|
||||
description = "Python bit pack/unpack package";
|
||||
license = licenses.mit;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
@ -0,0 +1,25 @@
|
||||
{ lib, buildPythonPackage, fetchFromGitHub, click, pytest }:
|
||||
|
||||
buildPythonPackage rec {
|
||||
pname = "click-default-group";
|
||||
version = "1.2";
|
||||
|
||||
# No tests in Pypi tarball
|
||||
src = fetchFromGitHub {
|
||||
owner = "click-contrib";
|
||||
repo = "click-default-group";
|
||||
rev = "v${version}";
|
||||
sha256 = "0lm2k4jvy4ilvv91niawklfnp5mp7wa8c1bicsqdfzrxmw7jliwp";
|
||||
};
|
||||
|
||||
propagatedBuildInputs = [ click ];
|
||||
|
||||
checkInputs = [ pytest ];
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/click-contrib/click-default-group;
|
||||
description = "Group to invoke a command without explicit subcommand name";
|
||||
license = licenses.bsd3;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
@ -1,36 +1,31 @@
|
||||
{ stdenv, buildPythonPackage, fetchFromGitHub, python,
|
||||
django, django_nose, six
|
||||
django, six
|
||||
}:
|
||||
buildPythonPackage rec {
|
||||
pname = "django-compat";
|
||||
version = "1.0.14";
|
||||
version = "1.0.15";
|
||||
|
||||
# the pypi packages don't include everything required for the tests
|
||||
src = fetchFromGitHub {
|
||||
owner = "arteria";
|
||||
repo = "django-compat";
|
||||
rev = "v${version}";
|
||||
sha256 = "11g6ra6djkchqk44v8k7biaxd1v69qyyyask5l92vmrvb0qiwvm8";
|
||||
sha256 = "1pr6v38ahrsvxlgmcx69s4b5q5082f44gzi4h3c32sccdc4pwqxp";
|
||||
};
|
||||
|
||||
checkPhase = ''
|
||||
runHook preCheck
|
||||
|
||||
# we have to do a little bit of tinkering to convince the tests to run against the installed package, not the
|
||||
# source directory
|
||||
mkdir -p testbase/compat
|
||||
pushd testbase
|
||||
# note we're not copying the direct contents of compat/ (notably __init__.py) so python won't recognize this as a
|
||||
# package, but the tests need to be in a specific path for the test templates to get picked up.
|
||||
cp -r ../compat/tests compat/
|
||||
cp ../runtests.py .
|
||||
${python.interpreter} runtests.py compat/tests
|
||||
popd
|
||||
# to convince the tests to run against the installed package, not the source directory, we extract the
|
||||
# tests directory from it then dispose of the actual source
|
||||
mv compat/tests .
|
||||
rm -r compat
|
||||
substituteInPlace runtests.py --replace compat.tests tests
|
||||
${python.interpreter} runtests.py
|
||||
|
||||
runHook postCheck
|
||||
'';
|
||||
|
||||
checkInputs = [ django_nose ];
|
||||
propagatedBuildInputs = [ django six ];
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
|
@ -2,14 +2,14 @@
|
||||
django_hijack, django_nose }:
|
||||
buildPythonPackage rec {
|
||||
pname = "django-hijack-admin";
|
||||
version = "2.1.5";
|
||||
version = "2.1.10";
|
||||
|
||||
# the pypi packages don't include everything required for the tests
|
||||
src = fetchFromGitHub {
|
||||
owner = "arteria";
|
||||
repo = "django-hijack-admin";
|
||||
rev = "v${version}";
|
||||
sha256 = "02j75blvkjiz5mv5wc4jxl27rgmjsrl6l67a3p8342jwazzsm6jg";
|
||||
sha256 = "0m98lchp2y43886n67j4s7miyd50pg2r5r966vjnxmd7nx7qkihf";
|
||||
};
|
||||
|
||||
checkInputs = [ django_nose ];
|
||||
@ -17,13 +17,21 @@ buildPythonPackage rec {
|
||||
|
||||
checkPhase = ''
|
||||
runHook preCheck
|
||||
|
||||
# we have to do a little bit of tinkering to convince the tests to run against the installed package, not the
|
||||
# source directory
|
||||
mkdir testbase
|
||||
pushd testbase
|
||||
mv ../runtests.py .
|
||||
${python.interpreter} runtests.py hijack_admin
|
||||
popd
|
||||
|
||||
runHook postCheck
|
||||
'';
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
description = "Admin integration for django-hijack";
|
||||
homepage = https://github.com/arteria/django-hijack;
|
||||
homepage = https://github.com/arteria/django-hijack-admin;
|
||||
license = licenses.mit;
|
||||
maintainers = with maintainers; [ lsix ];
|
||||
};
|
||||
|
@ -3,15 +3,14 @@
|
||||
}:
|
||||
buildPythonPackage rec {
|
||||
pname = "django-hijack";
|
||||
version = "2.1.9";
|
||||
name = pname + "-" + version;
|
||||
version = "2.1.10";
|
||||
|
||||
# the pypi packages don't include everything required for the tests
|
||||
src = fetchFromGitHub {
|
||||
owner = "arteria";
|
||||
repo = "django-hijack";
|
||||
rev = "v${version}";
|
||||
sha256 = "109xi93xj37ycdsvainybhg89pcb5sawv6w80px4r6fjvaq4732c";
|
||||
sha256 = "01fwkjdzvw0yx2spwi7zc1yy64ndq1y72bfmk7kxnq5x803m2ak6";
|
||||
};
|
||||
|
||||
checkInputs = [ django_nose ];
|
||||
@ -24,7 +23,7 @@ buildPythonPackage rec {
|
||||
# source directory
|
||||
mkdir testbase
|
||||
pushd testbase
|
||||
cp ../runtests.py .
|
||||
mv ../runtests.py .
|
||||
${python.interpreter} runtests.py hijack
|
||||
popd
|
||||
|
||||
|
@ -6,14 +6,14 @@
|
||||
|
||||
buildPythonPackage rec {
|
||||
name = "glances-${version}";
|
||||
version = "3.0.2";
|
||||
version = "3.1.0";
|
||||
disabled = isPyPy;
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "nicolargo";
|
||||
repo = "glances";
|
||||
rev = "v${version}";
|
||||
sha256 = "1jkjblfk4gbr00j7lny7ajiizzqnp0p1yhzfi14074gwk38z0q14";
|
||||
sha256 = "0zjpp017i8b8bijdaj85rya7rmdqh4g8vkb42q14q2sw6agxz3zi";
|
||||
};
|
||||
|
||||
patches = lib.optional doCheck ./skip-failing-tests.patch;
|
||||
|
@ -0,0 +1,37 @@
|
||||
{ lib, buildPythonPackage, fetchPypi, pythonOlder
|
||||
, attrs
|
||||
, audio-metadata
|
||||
, marshmallow
|
||||
, pendulum
|
||||
, protobuf
|
||||
}:
|
||||
|
||||
buildPythonPackage rec {
|
||||
pname = "google-music-proto";
|
||||
version = "2.2.0";
|
||||
|
||||
src = fetchPypi {
|
||||
inherit pname version;
|
||||
sha256 = "008nap32hcrlnkkqkf462vwnm6xzrn6fj71lbryfmrakad7rz7bc";
|
||||
};
|
||||
|
||||
propagatedBuildInputs = [
|
||||
attrs
|
||||
audio-metadata
|
||||
marshmallow
|
||||
pendulum
|
||||
protobuf
|
||||
];
|
||||
|
||||
# No tests
|
||||
doCheck = false;
|
||||
|
||||
disabled = pythonOlder "3.6";
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/thebigmunch/google-music-proto;
|
||||
description = "Sans-I/O wrapper of Google Music API calls";
|
||||
license = licenses.mit;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
@ -0,0 +1,35 @@
|
||||
{ lib, buildPythonPackage, fetchFromGitHub, pythonOlder
|
||||
, audio-metadata, multidict, wrapt
|
||||
, pytest
|
||||
}:
|
||||
|
||||
buildPythonPackage rec {
|
||||
pname = "google-music-utils";
|
||||
version = "2.0.0";
|
||||
|
||||
# Pypi tarball doesn't contain tests
|
||||
src = fetchFromGitHub {
|
||||
owner = "thebigmunch";
|
||||
repo = "google-music-utils";
|
||||
rev = version;
|
||||
sha256 = "0i5zcr1ypnxizi41s3lrplz9m9rmb56s5iihjx61kbybxcq2b6gk";
|
||||
};
|
||||
|
||||
propagatedBuildInputs = [
|
||||
audio-metadata multidict wrapt
|
||||
];
|
||||
|
||||
checkInputs = [ pytest ];
|
||||
checkPhase = ''
|
||||
pytest
|
||||
'';
|
||||
|
||||
disabled = pythonOlder "3.6";
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/thebigmunch/google-music-utils;
|
||||
description = "A set of utility functionality for google-music and related projects";
|
||||
license = licenses.mit;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
39
pkgs/development/python-modules/google-music/default.nix
Normal file
39
pkgs/development/python-modules/google-music/default.nix
Normal file
@ -0,0 +1,39 @@
|
||||
{ lib, buildPythonPackage, fetchPypi, pythonOlder
|
||||
, appdirs
|
||||
, audio-metadata
|
||||
, google-music-proto
|
||||
, protobuf
|
||||
, requests_oauthlib
|
||||
, tenacity
|
||||
}:
|
||||
|
||||
buildPythonPackage rec {
|
||||
pname = "google-music";
|
||||
version = "3.0.1";
|
||||
|
||||
src = fetchPypi {
|
||||
inherit pname version;
|
||||
sha256 = "13i9nd62wqfg0f5r7ykr15q83397vdpw0js50fy5nbgs33sbf6b7";
|
||||
};
|
||||
|
||||
propagatedBuildInputs = [
|
||||
appdirs
|
||||
audio-metadata
|
||||
google-music-proto
|
||||
protobuf
|
||||
requests_oauthlib
|
||||
tenacity
|
||||
];
|
||||
|
||||
# No tests
|
||||
doCheck = false;
|
||||
|
||||
disabled = pythonOlder "3.6";
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/thebigmunch/google-music;
|
||||
description = "A Google Music API wrapper";
|
||||
license = licenses.mit;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
23
pkgs/development/python-modules/logzero/default.nix
Normal file
23
pkgs/development/python-modules/logzero/default.nix
Normal file
@ -0,0 +1,23 @@
|
||||
{ lib, buildPythonPackage, fetchPypi, pytest }:
|
||||
|
||||
buildPythonPackage rec {
|
||||
pname = "logzero";
|
||||
version = "1.5.0";
|
||||
|
||||
src = fetchPypi {
|
||||
inherit pname version;
|
||||
sha256 = "0hli2wgwxxackrk1ybmlpdd0rzms6blm11zzwlvrzykd8cp1xyil";
|
||||
};
|
||||
|
||||
checkInputs = [ pytest ];
|
||||
checkPhase = ''
|
||||
pytest
|
||||
'';
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/metachris/logzero;
|
||||
description = "Robust and effective logging for Python 2 and 3";
|
||||
license = licenses.mit;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
30
pkgs/development/python-modules/pprintpp/default.nix
Normal file
30
pkgs/development/python-modules/pprintpp/default.nix
Normal file
@ -0,0 +1,30 @@
|
||||
{ lib, fetchpatch, buildPythonPackage, fetchPypi, python, nose, parameterized }:
|
||||
|
||||
buildPythonPackage rec {
|
||||
pname = "pprintpp";
|
||||
version = "0.4.0";
|
||||
|
||||
src = fetchPypi {
|
||||
inherit pname version;
|
||||
sha256 = "00v4pkyiqc0y9qjnp3br58a4k5zwqdrjjxbcsv39vx67w84630pa";
|
||||
};
|
||||
|
||||
patches = [
|
||||
(fetchpatch {
|
||||
url = "https://github.com/wolever/pprintpp/commit/873217674cc824b4c1cfdad4867c560c60e8d806.patch";
|
||||
sha256 = "0rqxzxawr83215s84mfzh1gnjwjm2xv399ywwcl4q7h395av5vb3";
|
||||
})
|
||||
];
|
||||
|
||||
checkInputs = [ nose parameterized ];
|
||||
checkPhase = ''
|
||||
${python.interpreter} test.py
|
||||
'';
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/wolever/pprintpp;
|
||||
description = "A drop-in replacement for pprint that's actually pretty";
|
||||
license = licenses.bsd2;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
@ -28,7 +28,8 @@ buildPythonPackage rec {
|
||||
meta = with stdenv.lib; {
|
||||
description = "Python3 Parser for Android XML file and get Application Name without using Androguard";
|
||||
homepage = https://github.com/appknox/pyaxmlparser;
|
||||
license = licenses.mit;
|
||||
# Files from Androguard are licensed ASL 2.0
|
||||
license = with licenses; [ mit asl20 ];
|
||||
maintainers = with maintainers; [ ma27 ];
|
||||
};
|
||||
}
|
||||
|
34
pkgs/development/python-modules/tenacity/default.nix
Normal file
34
pkgs/development/python-modules/tenacity/default.nix
Normal file
@ -0,0 +1,34 @@
|
||||
{ lib, buildPythonPackage, fetchPypi, isPy27
|
||||
, pbr, six, futures, monotonic
|
||||
, pytest, sphinx, tornado
|
||||
}:
|
||||
|
||||
buildPythonPackage rec {
|
||||
pname = "tenacity";
|
||||
version = "5.0.2";
|
||||
|
||||
src = fetchPypi {
|
||||
inherit pname version;
|
||||
sha256 = "1rjbj9wks7b7n75mbm01y0g2ngyai8yi05ck9gicmcdyix7vw42c";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ pbr ];
|
||||
propagatedBuildInputs = [ six ]
|
||||
++ lib.optionals isPy27 [ futures monotonic ];
|
||||
|
||||
checkInputs = [ pytest sphinx tornado ];
|
||||
checkPhase = (if isPy27 then ''
|
||||
pytest --ignore='tenacity/tests/test_asyncio.py'
|
||||
'' else ''
|
||||
pytest
|
||||
'') + ''
|
||||
sphinx-build -a -E -W -b doctest doc/source doc/build
|
||||
'';
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/jd/tenacity;
|
||||
description = "Retrying library for Python";
|
||||
license = licenses.asl20;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
@ -94,6 +94,10 @@ in
|
||||
'';
|
||||
};
|
||||
|
||||
digest-sha3 = attrs: {
|
||||
hardeningDisable = [ "format" ];
|
||||
};
|
||||
|
||||
ethon = attrs: {
|
||||
dontBuild = false;
|
||||
postPatch = ''
|
||||
|
@ -7,15 +7,16 @@ let
|
||||
|
||||
in stdenv.mkDerivation rec {
|
||||
name = "spin-${version}";
|
||||
version = "6.4.8";
|
||||
version = "6.4.9";
|
||||
url-version = stdenv.lib.replaceChars ["."] [""] version;
|
||||
|
||||
src = fetchurl {
|
||||
# The homepage is behind CloudFlare anti-DDoS protection, which blocks cURL.
|
||||
# Dropbox mirror from developers:
|
||||
# https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADZPqS4aoR-pjNF6OQXRLQHa
|
||||
url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADya1lOBJZDbgWGrUSq-dfHa/spin${url-version}.tar.gz?raw=1";
|
||||
sha256 = "1rvamdsf0igzpndlr4ck7004jw9x1bg4xyf78zh5k9sp848vnd80";
|
||||
# (note that this URL doesn't work aross versions and hash should come from official site)
|
||||
url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AABtxFePMJmPxsxSvU5cpxh8a/spin${url-version}.tar.gz?raw=1";
|
||||
sha256 = "07b7wk3qyfnp4pgwicqd33l7i1krzyihx0cf9zkv81ywaklf5vll";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ makeWrapper ];
|
||||
@ -24,6 +25,8 @@ in stdenv.mkDerivation rec {
|
||||
sourceRoot = "Spin/Src${version}";
|
||||
|
||||
installPhase = ''
|
||||
install -Dm644 ../Man/spin.1 $out/share/man/man1/spin.1
|
||||
|
||||
install -Dm755 spin $out/bin/spin
|
||||
wrapProgram $out/bin/spin \
|
||||
--prefix PATH : ${binPath}
|
||||
|
@ -1,6 +1,6 @@
|
||||
{ stdenv, callPackage, lib, fetchurl, fetchpatch, runCommand, makeWrapper
|
||||
, jdk, zip, unzip, bash, writeCBin, coreutils
|
||||
, which, python, perl, gnused, gnugrep, findutils
|
||||
, which, python, perl, gawk, gnused, gnugrep, findutils
|
||||
# Apple dependencies
|
||||
, cctools, clang, libcxx, CoreFoundation, CoreServices, Foundation
|
||||
# Allow to independently override the jdks used to build and run respectively
|
||||
@ -23,7 +23,7 @@ let
|
||||
for i in ${builtins.toString srcDeps}; do cp $i $out/$(stripHash $i); done
|
||||
'';
|
||||
|
||||
defaultShellPath = lib.makeBinPath [ bash coreutils findutils gnugrep gnused which unzip ];
|
||||
defaultShellPath = lib.makeBinPath [ bash coreutils findutils gawk gnugrep gnused which unzip ];
|
||||
|
||||
in
|
||||
stdenv.mkDerivation rec {
|
||||
|
@ -1,5 +1,5 @@
|
||||
{ stdenv, lib, fetchgit, fetchzip, fetchpatch, darwin, writeText
|
||||
, git, ninja, python }:
|
||||
, git, ninja, python2 }:
|
||||
|
||||
let
|
||||
rev = "96ff462cddf35f98e25fd5d098fc27bc81eab94a";
|
||||
@ -31,7 +31,7 @@ stdenv.mkDerivation rec {
|
||||
--replace "NSArray<NSString*>*" "NSArray*"
|
||||
'';
|
||||
|
||||
nativeBuildInputs = [ ninja python git ];
|
||||
nativeBuildInputs = [ ninja python2 git ];
|
||||
buildInputs = lib.optionals stdenv.isDarwin (with darwin; with apple_sdk.frameworks; [
|
||||
libobjc
|
||||
cctools
|
||||
|
@ -44,6 +44,13 @@ python3Packages.buildPythonApplication rec {
|
||||
src = ./fix-rpath.patch;
|
||||
inherit (builtins) storeDir;
|
||||
})
|
||||
] ++ lib.optionals stdenv.isDarwin [
|
||||
# We use custom Clang, which makes Meson think *not Apple*, while still
|
||||
# relying on system linker. When it detects standard Clang, Meson will
|
||||
# pass it `-Wl,-O1` flag but optimizations are not recognized by
|
||||
# Mac linker.
|
||||
# https://github.com/mesonbuild/meson/issues/4784
|
||||
./fix-objc-linking.patch
|
||||
];
|
||||
|
||||
setupHook = ./setup-hook.sh;
|
||||
|
@ -0,0 +1,20 @@
|
||||
--- a/mesonbuild/environment.py
|
||||
+++ b/mesonbuild/environment.py
|
||||
@@ -795,7 +795,7 @@
|
||||
compiler_type = self.get_gnu_compiler_type(defines)
|
||||
version = self.get_gnu_version_from_defines(defines)
|
||||
return GnuObjCCompiler(ccache + compiler, version, compiler_type, is_cross, exe_wrap, defines)
|
||||
- if out.startswith('Apple LLVM'):
|
||||
+ if out.startswith('Apple LLVM') or mesonlib.for_darwin(want_cross, self):
|
||||
return ClangObjCCompiler(ccache + compiler, version, CompilerType.CLANG_OSX, is_cross, exe_wrap)
|
||||
if out.startswith('clang'):
|
||||
return ClangObjCCompiler(ccache + compiler, version, CompilerType.CLANG_STANDARD, is_cross, exe_wrap)
|
||||
@@ -822,7 +822,7 @@
|
||||
compiler_type = self.get_gnu_compiler_type(defines)
|
||||
version = self.get_gnu_version_from_defines(defines)
|
||||
return GnuObjCPPCompiler(ccache + compiler, version, compiler_type, is_cross, exe_wrap, defines)
|
||||
- if out.startswith('Apple LLVM'):
|
||||
+ if out.startswith('Apple LLVM') or mesonlib.for_darwin(want_cross, self):
|
||||
return ClangObjCPPCompiler(ccache + compiler, version, CompilerType.CLANG_OSX, is_cross, exe_wrap)
|
||||
if out.startswith('clang'):
|
||||
return ClangObjCPPCompiler(ccache + compiler, version, CompilerType.CLANG_STANDARD, is_cross, exe_wrap)
|
11
pkgs/games/spring/fix-certs.patch
Normal file
11
pkgs/games/spring/fix-certs.patch
Normal file
@ -0,0 +1,11 @@
|
||||
--- a/src/downloader/lib/src/Downloader/CurlWrapper.cpp
|
||||
+++ b/src/downloader/lib/src/Downloader/CurlWrapper.cpp
|
||||
@@ -108,7 +108,6 @@
|
||||
if (res != CURLE_OK) {
|
||||
LOG_WARN("Error setting CURLOPT_CAPATH: %d", res);
|
||||
}
|
||||
- return;
|
||||
}
|
||||
|
||||
const std::string cafile = GetCAFilePath();
|
||||
|
@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
|
||||
boost libpng libX11 libnotify gtk2 doxygen makeWrapper glib minizip alure
|
||||
];
|
||||
|
||||
patches = [ ./revert_58b423e.patch ]; # Allows springLobby to continue using system installed spring until #707 is fixed
|
||||
patches = [ ./revert_58b423e.patch ./fix-certs.patch ]; # Allows springLobby to continue using system installed spring until #707 is fixed
|
||||
|
||||
enableParallelBuilding = true;
|
||||
|
||||
|
@ -19,18 +19,21 @@
|
||||
self: super: {
|
||||
|
||||
vim2nix = buildVimPluginFrom2Nix {
|
||||
name = "vim2nix";
|
||||
pname = "vim2nix";
|
||||
version = "1.0";
|
||||
src = ./vim2nix;
|
||||
dependencies = with super; [ vim-addon-manager ];
|
||||
};
|
||||
|
||||
fzfWrapper = buildVimPluginFrom2Nix {
|
||||
name = fzf.name;
|
||||
pname = "fzf";
|
||||
version = fzf.version;
|
||||
src = fzf.src;
|
||||
};
|
||||
|
||||
skim = buildVimPluginFrom2Nix {
|
||||
name = skim.name;
|
||||
pname = "skim";
|
||||
version = skim.version;
|
||||
src = skim.vim;
|
||||
};
|
||||
|
||||
@ -54,7 +57,8 @@ self: super: {
|
||||
'';
|
||||
};
|
||||
in buildVimPluginFrom2Nix {
|
||||
name = "LanguageClient-neovim-2018-09-07";
|
||||
pname = "LanguageClient-neovim";
|
||||
version = "2018-09-07";
|
||||
src = LanguageClient-neovim-src;
|
||||
|
||||
propogatedBuildInputs = [ LanguageClient-neovim-bin ];
|
||||
@ -67,7 +71,8 @@ self: super: {
|
||||
|
||||
# do not auto-update this one, as the name clashes with vim-snippets
|
||||
vim-docbk-snippets = buildVimPluginFrom2Nix {
|
||||
name = "vim-docbk-snippets-2017-11-02";
|
||||
pname = "vim-docbk-snippets";
|
||||
version = "2017-11-02";
|
||||
src = fetchgit {
|
||||
url = "https://github.com/jhradilek/vim-snippets";
|
||||
rev = "69cce66defdf131958f152ea7a7b26c21ca9d009";
|
||||
|
@ -2,11 +2,11 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "alsa-utils-${version}";
|
||||
version = "1.1.7";
|
||||
version = "1.1.8";
|
||||
|
||||
src = fetchurl {
|
||||
url = "mirror://alsa/utils/${name}.tar.bz2";
|
||||
sha256 = "02jlw6a22j2rr7inggfgk2hzx3w0fjhvhs0dn1afpzdp9aspzchx";
|
||||
sha256 = "1kx45yhrxai3k595yyqs4wj0p2n5b0c9mf0k36ljjf1bj8lgb6zx";
|
||||
};
|
||||
|
||||
patchPhase = ''
|
||||
|
@ -688,6 +688,14 @@ let
|
||||
HOTPLUG_PCI_PCIE = yes; # PCI-Expresscard hotplug support
|
||||
|
||||
} // optionalAttrs (stdenv.hostPlatform.system == "x86_64-linux" || stdenv.hostPlatform.system == "aarch64-linux") {
|
||||
# Enable memory hotplug support
|
||||
# Allows you to dynamically add & remove memory to a VM client running NixOS without requiring a reboot
|
||||
ACPI_HOTPLUG_MEMORY = yes;
|
||||
MEMORY_HOTPLUG = yes;
|
||||
MEMORY_HOTREMOVE = yes;
|
||||
MIGRATION = yes;
|
||||
SPARSEMEM = yes;
|
||||
|
||||
# Bump the maximum number of CPUs to support systems like EC2 x1.*
|
||||
# instances and Xeon Phi.
|
||||
NR_CPUS = "384";
|
||||
|
@ -6,11 +6,11 @@
|
||||
stdenv.mkDerivation rec {
|
||||
name = "rabbitmq-server-${version}";
|
||||
|
||||
version = "3.7.9";
|
||||
version = "3.7.10";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/rabbitmq/rabbitmq-server/releases/download/v${version}/${name}.tar.xz";
|
||||
sha256 = "138hz19g4x562vm7aqdsxc98ay0aidn37isafzhkig8cjlygg2iq";
|
||||
sha256 = "03g9912640xxwwm078idrxqg8jwn3xc45lkyq5ixjqs0vhc7aw4v";
|
||||
};
|
||||
|
||||
buildInputs =
|
||||
|
@ -21,7 +21,6 @@
|
||||
"alarm_control_panel.egardia" = ps: with ps; [ ];
|
||||
"alarm_control_panel.elkm1" = ps: with ps; [ ];
|
||||
"alarm_control_panel.envisalink" = ps: with ps; [ ];
|
||||
"alarm_control_panel.homekit_controller" = ps: with ps; [ ];
|
||||
"alarm_control_panel.homematicip_cloud" = ps: with ps; [ ];
|
||||
"alarm_control_panel.ialarm" = ps: with ps; [ ];
|
||||
"alarm_control_panel.ifttt" = ps: with ps; [ aiohttp-cors pyfttt ];
|
||||
@ -118,7 +117,7 @@
|
||||
"binary_sensor.iss" = ps: with ps; [ ];
|
||||
"binary_sensor.isy994" = ps: with ps; [ ];
|
||||
"binary_sensor.knx" = ps: with ps; [ ];
|
||||
"binary_sensor.konnected" = ps: with ps; [ aiohttp-cors ];
|
||||
"binary_sensor.konnected" = ps: with ps; [ aiohttp-cors netdisco ];
|
||||
"binary_sensor.linode" = ps: with ps; [ linode-api ];
|
||||
"binary_sensor.lupusec" = ps: with ps; [ ];
|
||||
"binary_sensor.maxcube" = ps: with ps; [ ];
|
||||
@ -420,10 +419,6 @@
|
||||
"emulated_hue" = ps: with ps; [ aiohttp-cors ];
|
||||
"emulated_hue.hue_api" = ps: with ps; [ ];
|
||||
"emulated_hue.upnp" = ps: with ps; [ ];
|
||||
"emulated_roku" = ps: with ps; [ ];
|
||||
"emulated_roku.binding" = ps: with ps; [ ];
|
||||
"emulated_roku.config_flow" = ps: with ps; [ ];
|
||||
"emulated_roku.const" = ps: with ps; [ ];
|
||||
"enocean" = ps: with ps; [ ];
|
||||
"envisalink" = ps: with ps; [ ];
|
||||
"esphome" = ps: with ps; [ ];
|
||||
@ -517,7 +512,6 @@
|
||||
"hue.config_flow" = ps: with ps; [ ];
|
||||
"hue.const" = ps: with ps; [ ];
|
||||
"hue.errors" = ps: with ps; [ ];
|
||||
"hue.light" = ps: with ps; [ aiohue ];
|
||||
"hydrawise" = ps: with ps; [ ];
|
||||
"idteck_prox" = ps: with ps; [ ];
|
||||
"ifttt" = ps: with ps; [ aiohttp-cors pyfttt ];
|
||||
@ -556,7 +550,7 @@
|
||||
"keyboard_remote" = ps: with ps; [ evdev ];
|
||||
"kira" = ps: with ps; [ ];
|
||||
"knx" = ps: with ps; [ ];
|
||||
"konnected" = ps: with ps; [ aiohttp-cors ];
|
||||
"konnected" = ps: with ps; [ aiohttp-cors netdisco ];
|
||||
"lametric" = ps: with ps; [ ];
|
||||
"lcn" = ps: with ps; [ ];
|
||||
"lifx" = ps: with ps; [ ];
|
||||
@ -584,6 +578,7 @@
|
||||
"light.homematic" = ps: with ps; [ pyhomematic ];
|
||||
"light.homematicip_cloud" = ps: with ps; [ ];
|
||||
"light.homeworks" = ps: with ps; [ ];
|
||||
"light.hue" = ps: with ps; [ aiohue ];
|
||||
"light.hyperion" = ps: with ps; [ ];
|
||||
"light.iglo" = ps: with ps; [ ];
|
||||
"light.ihc" = ps: with ps; [ defusedxml ];
|
||||
@ -718,6 +713,7 @@
|
||||
"media_player.mpchc" = ps: with ps; [ ];
|
||||
"media_player.mpd" = ps: with ps; [ mpd2 ];
|
||||
"media_player.nad" = ps: with ps; [ ];
|
||||
"media_player.nadtcp" = ps: with ps; [ ];
|
||||
"media_player.onkyo" = ps: with ps; [ onkyo-eiscp ];
|
||||
"media_player.openhome" = ps: with ps; [ ];
|
||||
"media_player.panasonic_bluray" = ps: with ps; [ ];
|
||||
@ -1294,7 +1290,7 @@
|
||||
"switch.isy994" = ps: with ps; [ ];
|
||||
"switch.kankun" = ps: with ps; [ ];
|
||||
"switch.knx" = ps: with ps; [ ];
|
||||
"switch.konnected" = ps: with ps; [ aiohttp-cors ];
|
||||
"switch.konnected" = ps: with ps; [ aiohttp-cors netdisco ];
|
||||
"switch.lightwave" = ps: with ps; [ ];
|
||||
"switch.linode" = ps: with ps; [ linode-api ];
|
||||
"switch.litejet" = ps: with ps; [ ];
|
||||
@ -1462,7 +1458,6 @@
|
||||
"zabbix" = ps: with ps; [ ];
|
||||
"zeroconf" = ps: with ps; [ aiohttp-cors zeroconf ];
|
||||
"zha" = ps: with ps; [ ];
|
||||
"zha.api" = ps: with ps; [ ];
|
||||
"zha.config_flow" = ps: with ps; [ ];
|
||||
"zha.const" = ps: with ps; [ ];
|
||||
"zha.entities" = ps: with ps; [ ];
|
||||
|
@ -48,10 +48,10 @@ let
|
||||
] ++ lib.optionals icuEnabled [ "--with-icu" ];
|
||||
|
||||
patches =
|
||||
[ (if atLeast "9.4" then ./disable-resolve_symlinks-94.patch else ./disable-resolve_symlinks.patch)
|
||||
(if atLeast "9.6" then ./less-is-more-96.patch else ./less-is-more.patch)
|
||||
(if atLeast "9.6" then ./hardcode-pgxs-path-96.patch else ./hardcode-pgxs-path.patch)
|
||||
./specify_pkglibdir_at_runtime.patch
|
||||
[ (if atLeast "9.4" then ./patches/disable-resolve_symlinks-94.patch else ./patches/disable-resolve_symlinks.patch)
|
||||
(if atLeast "9.6" then ./patches/less-is-more-96.patch else ./patches/less-is-more.patch)
|
||||
(if atLeast "9.6" then ./patches/hardcode-pgxs-path-96.patch else ./patches/hardcode-pgxs-path.patch)
|
||||
./patches/specify_pkglibdir_at_runtime.patch
|
||||
];
|
||||
|
||||
installTargets = [ "install-world" ];
|
||||
|
32
pkgs/tools/audio/google-music-scripts/default.nix
Normal file
32
pkgs/tools/audio/google-music-scripts/default.nix
Normal file
@ -0,0 +1,32 @@
|
||||
{ lib, python3 }:
|
||||
|
||||
python3.pkgs.buildPythonApplication rec {
|
||||
pname = "google-music-scripts";
|
||||
version = "3.0.0";
|
||||
|
||||
src = python3.pkgs.fetchPypi {
|
||||
inherit pname version;
|
||||
sha256 = "12risivi11z3shrgs1kpi7x6lvk113cbp3dnczw9mmqhb4mmwviy";
|
||||
};
|
||||
|
||||
propagatedBuildInputs = with python3.pkgs; [
|
||||
appdirs
|
||||
audio-metadata
|
||||
click
|
||||
click-default-group
|
||||
google-music
|
||||
google-music-utils
|
||||
logzero
|
||||
tomlkit
|
||||
];
|
||||
|
||||
# No tests
|
||||
doCheck = false;
|
||||
|
||||
meta = with lib; {
|
||||
homepage = https://github.com/thebigmunch/google-music-scripts;
|
||||
description = "A CLI utility for interacting with Google Music";
|
||||
license = licenses.mit;
|
||||
maintainers = with maintainers; [ jakewaksbaum ];
|
||||
};
|
||||
}
|
@ -15,13 +15,13 @@ let binPath = stdenv.lib.makeBinPath [
|
||||
];
|
||||
in stdenv.mkDerivation rec {
|
||||
name = "debootstrap-${version}";
|
||||
version = "1.0.112";
|
||||
version = "1.0.114";
|
||||
|
||||
src = fetchurl {
|
||||
# git clone git://git.debian.org/d-i/debootstrap.git
|
||||
# I'd like to use the source. However it's lacking the lanny script ? (still true?)
|
||||
url = "mirror://debian/pool/main/d/debootstrap/debootstrap_${version}.tar.gz";
|
||||
sha256 = "1p7skj8821dhwgjq3f2v1fplzv5y6xfma6bh9ai6f8ry6vz0hvha";
|
||||
sha256 = "14lw18bhxap1g15q0rhslacj1bcrl69wrqcx6azmbvd92rl4bqd8";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ makeWrapper ];
|
||||
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user