Add hydra jobs

main
Oystein Kristoffer Tveit 2022-08-23 18:13:58 +02:00
parent 05856d624c
commit 049e65e34f
Signed by: oysteikt
GPG Key ID: 9F2F7D8250F35146
1 changed files with 8 additions and 2 deletions

View File

@ -101,9 +101,9 @@
buildPhase = '' buildPhase = ''
gzip -dkc ${JMdictSrc} > JMdict.xml gzip -dkc ${JMdictSrc} > JMdict.xml
gzip -dkc ${JMdictWithExamplesSrc} > JMdict_with_examples.xml gzip -dkc ${JMdictWithExamplesSrc} > JMdict_with_examples.xml
xmlformat -i JMdict.xml
xmlformat -i JMdict_with_examples.xml
''; '';
# xmlformat -i JMdict.xml
# xmlformat -i JMdict_with_examples.xml
installPhase = '' installPhase = ''
mkdir $out mkdir $out
@ -214,6 +214,7 @@
name = "docs"; name = "docs";
src = self.packages.${system}.database; src = self.packages.${system}.database;
nativeBuildInputs = with pkgs; [ nativeBuildInputs = with pkgs; [
sqlite
schemaspy schemaspy
sqlite-jdbc sqlite-jdbc
]; ];
@ -236,6 +237,7 @@
''; '';
in '' in ''
sqlite3 main.db ".schema" > schema.sql
cp ${args} ./schemaspy.properties cp ${args} ./schemaspy.properties
ls ls
schemaspy -t ${properties} schemaspy -t ${properties}
@ -246,6 +248,10 @@
''; '';
}; };
}; };
hydraJobs = {
inherit (self.packages.${system}) database docs;
};
}; };
} }