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.
--
Antoine
