Merge pull request #126446 from chkno/jbofihe

jbofihe: Init at 0.43
This commit is contained in:
Sandro 2021-06-10 20:33:17 +02:00 committed by GitHub
commit a401702824
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 32 additions and 0 deletions

View File

@ -0,0 +1,29 @@
{ lib, stdenv, fetchFromGitHub, bison, flex, perl, }:
stdenv.mkDerivation rec {
pname = "jbofihe";
version = "0.43";
src = fetchFromGitHub {
owner = "lojban";
repo = "jbofihe";
rev = "v${version}";
sha256 = "1xx7x1256sjncyzx656jl6jl546vn8zz0siymqalz6v9yf341p98";
};
nativeBuildInputs = [ bison flex perl ];
doCheck = true;
checkPhase = ''
runHook preCheck
(cd tests && ./run *.in)
runHook postCheck
'';
meta = with lib; {
description = "Parser & analyser for Lojban";
homepage = "https://github.com/lojban/jbofihe";
license = licenses.gpl2Only;
maintainers = with maintainers; [ chkno ];
};
}

View File

@ -6490,6 +6490,9 @@ in
ispell = callPackage ../tools/text/ispell {};
iodash = callPackage ../development/libraries/iodash { };
jbofihe = callPackage ../tools/text/jbofihe {};
jumanpp = callPackage ../tools/text/jumanpp {};
jump = callPackage ../tools/system/jump {};