---------------------------------------------------------------------------------------------------------------
Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". This is an issue that I am trying to fix. > On Apr 28, 2016, at 9:29 PM, Ryan Schmidt <[email protected]> wrote: > > > On Apr 28, 2016, at 8:08 PM, Abdulrahman Alshammari wrote: > >> Hey, >> I am working in parallel between two ports. some of the tickets are useful >> and get results. Some of them I get lost when I read them. >> >> For civl: I got this error >> :error:destroot org.macports.destroot for port civl returned: command >> execution failed >> :debug:destroot Error code: CHILDSTATUS 575 2 >> :debug:destroot Backtrace: command execution failed >> >> >> For Z3: I got: >> :error:configure org.macports.configure for port z3 returned: configure >> failure: command execution failed >> :debug:configure Error code: NONE >> :debug:configure Backtrace: configure failure: command execution failed >> >> >> I attached the two log files. If there is a ticket that has the same issue, >> please let me know. Note that I follow the Macport migration steps, but it >> doesn’t work/ >> >> --------------------------------------------------------------------------------------------------------------- >> >> Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman >> Alshammari". >> This is an issue that I am trying to fix. >> >> <main_z3.log> > > It says: > > :debug:configure Executing command line: cd > "/opt/local/var/macports/build/_Users_Abdulrahman_Desktop_ports_devel_z3/z3/work/z3-4.4.1" > && ./configure --prefix=/opt/local > :info:configure sh: ./configure: No such file or directory > > Does this program have a configure script? If not, how does one configure it? > If no configuration step is necessary, use "use_configure no" as was stated > in the ticket. > There is a configure script. How can I use it? >> <main_Civl.log> > > It says: > > :info:destroot make: *** No rule to make target `install'. Stop. > > How does one install this program? MacPorts defaults to assuming one uses > "make install" but that does not appear to be correct for this program. We install it buy run this command line java -jar filename.jar . If we consider that we can have a configure file? how can I use it too? Thanks Ryan for your support.
_______________________________________________ macports-dev mailing list [email protected] https://lists.macosforge.org/mailman/listinfo/macports-dev
