open-english-wordnet: Use unique filename under share/

Otherwise users may have issues trying to bring multiple wordnets in their environment.
This commit is contained in:
nicoo 2023-11-05 17:13:30 +00:00
parent 281f03a6db
commit c29182bbb1

View File

@ -42,14 +42,14 @@ stdenvNoCC.mkDerivation (self: {
python scripts/merge.py
echo Compressing
gzip --best --no-name ./wn.xml
gzip --best --no-name --stdout ./wn.xml > 'oewn:${self.version}.xml.gz'
runHook postBuild
'';
installPhase = ''
runHook preInstall
install -Dt $out/share/wordnet wn.xml.gz
install -Dt $out/share/wordnet 'oewn:${self.version}.xml.gz'
runHook postInstall
'';