diff options
| author | Thomas Penteker <tek@serverop.de> | 2013-04-09 02:05:45 +0200 |
|---|---|---|
| committer | Thomas Penteker <tek@serverop.de> | 2013-04-09 02:05:45 +0200 |
| commit | 6dc2b7ef623ff5421ca11862780043f4ba59a485 (patch) | |
| tree | 40923b4c9c564f251f22a7f772131607e924db5f | |
| parent | 9e554cdbcd6f62812f127c869ca63e51b98587a1 (diff) | |
| download | contrib-6dc2b7ef623ff5421ca11862780043f4ba59a485.tar.gz contrib-6dc2b7ef623ff5421ca11862780043f4ba59a485.tar.xz | |
vala: use /usr/lib instead of /usr/share
| -rw-r--r-- | vala/Pkgfile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/vala/Pkgfile b/vala/Pkgfile index 973691c0d..ed3aca556 100644 --- a/vala/Pkgfile +++ b/vala/Pkgfile @@ -5,14 +5,15 @@ name=vala version=0.19.0 -release=1 +release=2 source=(http://download.gnome.org/sources/vala/0.19/vala-$version.tar.xz) build() { cd $name-$version ./configure --prefix=/usr \ - --mandir=/usr/man + --mandir=/usr/man \ + --datarootdir=/usr/lib make make install DESTDIR=$PKG - rm -r $PKG/usr/share/devhelp + rm -r $PKG/usr/lib/devhelp } |