More sbt dependencies

Julien LepillerThu Jan 17 00:04:01+0100 2019


namelast commitdate
.gitignoreInitialize repo, new packages.Wed Feb 22 22:10:31+0100 2017
README.mdUpdate README.mdMon Sep 03 11:10:48+0200 2018
chromium-gn-remove-third-party.patchstart working on skiaTue Feb 28 17:45:27+0100 2017
gradle-match-files-without-version-number.patchupdate gradle, add dependencies and fix gradle-launcherSat Jun 16 22:03:05+0200 2018
java-antlr4-Add-standalone-generator.patchGroovy compiles, but needs work for plugins, subprojects and testsSun Sep 17 21:17:34+0200 2017
java-avalon-logkit-default-datasource.patchAdd test dependenciesSun Aug 27 12:08:51+0200 2017
java-commons-dbcp-fix-abstract.patchAdd test dependenciesSun Aug 27 12:08:51+0200 2017
java-fmpp-remove-imageinfo.patchMore sbt dependenciesThu Jan 17 00:04:01+0100 2019
java-jamonapi-jamon-update-dependencies.patchwork on java packagesSat Sep 15 00:22:20+0200 2018
java-spring-framework-remove-non-free.patchUpdatesSat Oct 13 14:38:31+0200 2018
java-velocity-dont-use-werken-xpath.patchUpdate package names, add java packages for velocitySat Aug 05 10:06:52+0200 2017
more/More sbt dependenciesThu Jan 17 00:04:01+0100 2019

More packages for the Guix package manager! This repository contains recipes for packages that I am working on. They will eventually be sent upstream. When this is the case, they will vanish from this repo.

How to use these packages?

export GUIX_PACKAGE_PATH=$HOME/guix-more

That's it!

What is in there?

Binary analysis software





Current work

Using skia with icecat

Currently working on this. I have skia, but it requires some tricks to actually have icecat build with it.

Adding gradle and scala/sbt

Gradle is a build system used mostly by android applications. I have packages for 2/3 of gradle, but that's not enough. I'm currently blocked at a gradle subproject that requires scala and sbt. Scala is written in scala, so it's hard to bootstrap. I've packaged a binary version for now and building sbt (another dependency) is my next target.

Adding a maven-build-system

Although the maven package is now in Guix proper, we do not have a maven-build-system yet. Such a build system requires maven and some plugins. I'm planning to build these plugins. They require a lot of new dependencies for which we can't use the maven-build-system either... Such a pain :/

OCaml and Coq packages

The more the better. They are being integrated.


Eiffel studio -> eiffel -> AutoProof and Eve -> boogie.

alt-ergo, CVC4