jenkins: add some pkg dependencies

avsm · Jan 1, 2013 · 5099b72 · 5099b72
1 parent 27b1ff2
commit 5099b72
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/jenkins/10-opam-prepare.sh b/jenkins/10-opam-prepare.sh
@@ -38,6 +38,9 @@ add libgavl-dev
 add liblo-dev
 # lablgtk2
 add libgtk2.0-dev
+add libgtksourceview2.0-dev
+# oqamldebug
+add qt4-qmake
 # lwt-zmq
 add libzmq-dev
 # postgresql-ocaml