On Tue, May 15 2018, Antoine Jacoutot <[email protected]> wrote:
> On Tue, May 15, 2018 at 11:42:34AM +0200, Solene Rapenne wrote:
>>
>> Antoine Jacoutot writes:
>>
>> > On Tue, May 15, 2018 at 09:21:52AM +0200, Solene Rapenne wrote:
>> >>
>> >> Antoine Jacoutot writes:
>> >>
>> >> >>+Index: configure
>> >> >>+--- configure.orig
>> >> >>++++ configure
>> >> >>+@@ -18,7 +18,7 @@ srcdir=
>> >> >>+ prefix=/usr/local
>> >> >>+ exec_prefix='$(prefix)'
>> >> >>+ bindir='$(exec_prefix)/bin'
>> >> >>+-datarootdir='$(prefix)/share'
>> >> >>++datarootdir='$(prefix)'
>> >> >>+ includedir='${prefix}/include'
>> >> >>+ infodir='$(datarootdir)/info'
>> >> >>+ libdir='${exec_prefix}/lib'
>> >> >
>> >> > Would FAKE_FLAGS work in this situation?
>> >>
>> >> with following diff it works without the patch. This is much more
>> >> maintainable than the patch.
>> >>
>> >> Index: Makefile
>> >> ===================================================================
>> >> RCS file: /cvs/ports/graphics/ocrad/Makefile,v
>> >> retrieving revision 1.15
>> >> diff -u -p -r1.15 Makefile
>> >> --- Makefile 12 May 2018 13:47:14 -0000 1.15
>> >> +++ Makefile 15 May 2018 06:24:32 -0000
>> >> @@ -14,9 +14,10 @@ WANTLIB= c m ${COMPILER_LIBCXX}
>> >>
>> >> MASTER_SITES= ${MASTER_SITE_GNU:=ocrad/}
>> >>
>> >> -CONFIGURE_STYLE=gnu
>> >> +CONFIGURE_STYLE=simple
>> >>
>> >> MAKE_FLAGS= CXX="${CXX}" CXXFLAGS="${CXXFLAGS}"
>> >> +FAKE_FLAGS= datarootdir="${PREFIX}"
>> >
>> > If it's an issue only for man pages, why not use:
>> > mandir="${PREFIX}/man"
>>
>> datarootdir is used by mandir and infodir for files ocrad.info and
>> ocrad.1. Is it better to set both infodir and mandir to ${PREFIX}?
>
> I'd think so yes.
> Because datarootdir is supposed to be PREFIX/share.
+1
ok jca@ with
+FAKE_FLAGS= infodir="${PREFIX}/info" \
+ mandir="${PREFIX}/man"
--
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
