| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/math/yices/files/ |
Upload File : |
--- Makefile.build.orig 2021-10-20 22:20:35 UTC +++ Makefile.build @@ -137,7 +137,7 @@ static_dll_objsubdirs := $(srcsubdirs:%=$(static_dll_o # build_dir/dist: binaries + libraries with distribution not linked with GMP # build_dir/static_dist: includes GMP (statically linked) # -dist_dir = $(build_dir)/dist +dist_dir = $(build_dir) static_dist_dir = $(build_dir)/static_dist @@ -481,7 +481,7 @@ install-default: $(MKDIR_P) $(DESTDIR)$(bindir) $(MKDIR_P) $(DESTDIR)$(libdir) $(MKDIR_P) $(DESTDIR)$(includedir) - $(INSTALL) -m 664 $(dist_dir)/include/* $(DESTDIR)$(includedir) + $(INSTALL) -m 664 $(dist_dir)/../../src/include/* $(DESTDIR)$(includedir) $(INSTALL) $(dist_dir)/bin/* $(DESTDIR)$(bindir) $(INSTALL) $(dist_dir)/lib/* $(DESTDIR)$(libdir)