1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
Description: config debian paths
Make installation paths more Debian compatible.
Author: Obey Arthur Liu <arthur@milliways.fr>
Last-Update: 2012-05-23
--- a/configure
+++ b/configure
@@ -2816,14 +2816,14 @@ case ${VIRTUOSO_LAYOUT} in
prefix=/usr
localstatedir=/var
fi
- vaddir=$datadir/virtuoso/vad
- docdir=$datadir/doc/virtuoso
- htmldocdir=$datadir/doc/virtuoso/html
- pdfdocdir=$datadir/doc/virtuoso/pdf
- demodir=$localstatedir/lib/virtuoso/demo
- dbdir=$localstatedir/lib/virtuoso/db
- httprootdir=$localstatedir/lib/virtuoso/vsp
- hostingdir=$libdir/virtuoso/hosting
+ vaddir=$datadir/$DEBIANPKG/vad
+ docdir=$datadir/doc/$DEBIANPKG
+ htmldocdir=$datadir/doc/$DEBIANPKG/html
+ pdfdocdir=$datadir/doc/$DEBIANPKG/pdf
+ demodir=$localstatedir/lib/$DEBIANPKG/demo
+ dbdir=$localstatedir/lib/$DEBIANPKG/db
+ httprootdir=$localstatedir/lib/$DEBIANPKG/vsp
+ hostingdir=$libdir/$DEBIANPKG/hosting
;;
[Gg][Ee][Nn][Tt][Oo][Oo]) # Gentoo
--- a/configure.in
+++ b/configure.in
@@ -156,14 +156,14 @@ case ${VIRTUOSO_LAYOUT} in
prefix=/usr
localstatedir=/var
fi
- vaddir=$datadir/virtuoso/vad
- docdir=$datadir/doc/virtuoso
- htmldocdir=$datadir/doc/virtuoso/html
- pdfdocdir=$datadir/doc/virtuoso/pdf
- demodir=$localstatedir/lib/virtuoso/demo
- dbdir=$localstatedir/lib/virtuoso/db
- httprootdir=$localstatedir/lib/virtuoso/vsp
- hostingdir=$libdir/virtuoso/hosting
+ vaddir=$datadir/$DEBIANPKG/vad
+ docdir=$datadir/doc/$DEBIANPKG
+ htmldocdir=$datadir/doc/$DEBIANPKG/html
+ pdfdocdir=$datadir/doc/$DEBIANPKG/pdf
+ demodir=$localstatedir/lib/$DEBIANPKG/demo
+ dbdir=$localstatedir/lib/$DEBIANPKG/db
+ httprootdir=$localstatedir/lib/$DEBIANPKG/vsp
+ hostingdir=$libdir/$DEBIANPKG/hosting
;;
[[Gg]][[Ee]][[Nn]][[Tt]][[Oo]][[Oo]]) # Gentoo
|
