Merge pull request #75089 from jonringer/bump-glui

glui: 2.36 -> 2.37
This commit is contained in:
Michael Raskin 2019-12-08 12:24:07 +00:00 committed by GitHub
commit 08db595525
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +1,5 @@
{ stdenv { stdenv
, fetchurl , fetchFromGitHub
, freeglut , freeglut
, libGL , libGL
, libGLU , libGLU
@ -11,17 +11,17 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "glui"; pname = "glui";
version = "2.36"; version = "2.37";
src = fetchurl { src = fetchFromGitHub {
url = "mirror://sourceforge/project/glui/Source/${version}/glui-${version}.tgz"; owner = "libglui";
sha256 = "11r7f0k5jlbl825ibhm5c6bck0fn1hbliya9x1f253ikry1mxvy1"; repo = "glui";
rev = version;
sha256 = "0qg2y8w95s03zay1qsqs8pqxxlg6l9kwm7rrs1qmx0h22sxb360i";
}; };
buildInputs = [ freeglut libGLU libGL libXmu libXext libX11 libXi ]; buildInputs = [ freeglut libGLU libGL libXmu libXext libX11 libXi ];
preConfigure = ''cd src'';
installPhase = '' installPhase = ''
mkdir -p "$out"/{bin,lib,share/glui/doc,include} mkdir -p "$out"/{bin,lib,share/glui/doc,include}
cp -rT bin "$out/bin" cp -rT bin "$out/bin"