On 2016-05-06 02:38, Abdulrahman Alshammari wrote:
> Hey,
> I have tried to figure out how can avoid writing in opt/local/lib as
> what Ryan mentioned in
> https://trac.macports.org/ticket/51094
>
> I tried to fix things to avoid that, but I feel like I will mess other
> ports. It has no error when I install it, but still has no idea why it
> doesn’t work. When I uninstall it, It just removed the files in
> ${prefix}/share/doc/${name}. I attached the portfile with some notes to
> explain why I add them.
>
> Please let me know if you have any suggestion.
>From the Portfile:
> # changes the prefix to be used for configure
> configure.pre_args-delete --prefix=${prefix}
> configure.args-append --prefix=${worksrcpath}/z3install
Don't do that.
The actual problem is here in the python-based configure script:
https://github.com/Z3Prover/z3/blob/z3-4.4.1/scripts/mk_util.py#L630
Instead of applying strange workarounds, patch this file to create the
directory at install time and not when parsing options.
> # todo: need to tell port to "cd ${worksrcpath}/build" before run "make"
> # currently, it "cd ${worksrcpath}" instead.
> build.cmd make -C build
build.dir ${worksrcpath}/build
However, then you also override the whole build phase with build {},
setting any build.* option is useless anyway. As you also override
destroot {}, no make command will be run at all. Is this intentional?
The patching of the Makefile in pre-build also seems unnecessary as you
could simply run make in the build phase.
Rainer
_______________________________________________
macports-dev mailing list
[email protected]
https://lists.macosforge.org/mailman/listinfo/macports-dev
