Add Fedora 20 tracking stable-1.24 branch.
[goaljobs-goals.git] / config.ml
1 (* This contains lots of configuration specifics which are
2  * unlikely to be useful unless you are me ...
3  *)
4
5 open Goaljobs
6 open Printf
7
8 (* General. *)
9 let buildtmp = sprintf "%s/tmp/builds" (Sys.getenv "HOME")
10
11 (* libguestfs *)
12 let libguestfs_query_mins = 60
13
14 let libguestfs_website_repo =
15   sprintf "%s/d/websites/libguestfs" (Sys.getenv "HOME")
16
17 let libguestfs_localconfigure source =
18   let configure =
19     match source with
20       `Git -> "./autogen.sh"
21     | `Tarball -> "./configure" in
22   sprintf "\
23 #!/bin/bash -
24 . localenv
25
26 # NB: --enable-valgrind-daemon is disabled because we
27 # should be checking production builds.
28
29 %s \\
30   --prefix /usr \\
31   --disable-static \\
32   --with-default-backend=libvirt \\
33   --enable-gcc-warnings \\
34   --enable-gtk-doc \\
35   -C \\
36   \"$@\"
37 " configure
38
39 let libguestfs_localenv = "\
40 # Parallel test runs out of resources starting qemu, unclear why.
41 export SKIP_TEST_PARALLEL_MOUNT_LOCAL=1
42
43 # Fails under valgrind because cpio subprocess has a memory leak.
44 export SKIP_TEST_FILE_ARCHITECTURE_11=1
45 "