Merge pull request #26928 from romildo/new.monoid

monoid: init at 2016-07-21
This commit is contained in:
Joachim F 2017-06-30 15:48:47 +01:00 committed by GitHub
commit e0528c2f86
2 changed files with 43 additions and 0 deletions

View File

@ -0,0 +1,41 @@
{ stdenv, fetchFromGitHub, python, fontforge }:
stdenv.mkDerivation rec {
name = "monoid-${version}";
version = "2016-07-21";
src = fetchFromGitHub {
owner = "larsenwork";
repo = "monoid";
rev = "e9d77ec18c337dc78ceae787a673328615f0b120";
sha256 = "07h5q6cn6jjpmxp9vyag1bxx481waz344sr2kfs7d37bba8yjydj";
};
nativeBuildInputs = [ python fontforge ];
enableParallelBuilding = true;
buildPhase = ''
local _d=""
local _l=""
for _d in {Monoisome,Source}/*.sfdir; do
_l="''${_d##*/}.log"
echo "Building $_d (log at $_l)"
python Scripts/build.py ${if enableParallelBuilding then "$NIX_BUILD_CORES" else "1"} 0 $_d > $_l
done
'';
installPhase = ''
mkdir -p $out/share/{doc,fonts/truetype}
cp -va _release/* $out/share/fonts/truetype
cp -va Readme.md $out/share/doc
'';
meta = with stdenv.lib; {
homepage = http://larsenwork.com/monoid;
description = "Customisable coding font with alternates, ligatures and contextual positioning";
license = [ licenses.ofl licenses.mit ];
platforms = platforms.all;
maintainers = [ maintainers.romildo ];
};
}

View File

@ -12882,6 +12882,8 @@ with pkgs;
mobile_broadband_provider_info = callPackage ../data/misc/mobile-broadband-provider-info { }; mobile_broadband_provider_info = callPackage ../data/misc/mobile-broadband-provider-info { };
monoid = callPackage ../data/fonts/monoid { };
mononoki = callPackage ../data/fonts/mononoki { }; mononoki = callPackage ../data/fonts/mononoki { };
moka-icon-theme = callPackage ../data/icons/moka-icon-theme { }; moka-icon-theme = callPackage ../data/icons/moka-icon-theme { };