Z3 port Help about Python

---Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". This is an issue that I am trying to fix. ___ macports-dev mailing list macports-dev@lists.macosforge.org https://

failed to uninstall part of files. CIVL

. Is there something wrong I made? Portfile Description: Binary data ---Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". This is an issue tha

required script in Bin directory, $PATH

Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". This is an issue that I am trying to fix. ___ macports-dev mailing list macports-dev@lists.macosforge.org https://lists.macosforge.org/mailman/listinfo/macports-dev

Z3 prover port with Python issue

) https://github.com/Z3Prover/z3 Should I add the command —pypkgdir in the portfile? in configure phase? -Abdul --- Note: It might appear my name as "Ziad Ali" instaed of &q

Re: civl and z3 _ error when I install them locally.

--- 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 10:23 PM, Ryan Schmidt <ryandes...@macports.org> wrote: > > destroot _

Re: civl and z3 _ error when I install them locally.

--- 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 10:23 PM, Ryan Schmidt <ryandes...@macports.org

Re: civl and z3 _ error when I install them locally.

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

civl and z3 _ error when I install them locally.

t; instaed of "Abdulrahman Alshammari". This is an issue that I am trying to fix. main_z3.log Description: Binary data main_Civl.log Description: Binary data ___ macports-dev mailing list macports-dev@lists.macosforge.org https://lists.ma

Re: ports that contain JAR file

lib "java -jar ${name}-${version}_${rev}.jar" } Am I doing something wrong? --- Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari"

configure failure: command execution failed ; Local repository

attach the log file for your reference and even the portfile. Please let me know if you can help me with that. -Abdul---Note: It might appear my name as "Ziad Ali" instaed of &q

Re: install from local repository

--- 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 25, 2016, at 11:49 AM, Sterling Smith <smit...@fusion.gat.com> wrote: > >

Re: install from local repository

It is my mistake that I haven’t consider that. Thank you. I will give a try. --- Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". Thi

Re: install from local repository

: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". This is an issue that I am trying to fix. > On Apr 23, 2016, at 9:23 PM, Brandon Allbery <allber...@gmail.com> wrote: > > You could change Unix permissions _

Re: install from local repository

--- 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 23, 2016, at 8:30 PM, Abdulrahman Alshammari <a.t

install from local repository

--- Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". This is an issue that I am trying to fix. ___ macpo

Re: ports that contain JAR file

? --- 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 22, 2016, at 10:36 PM, Ryan Schmidt <ryandes...@macports.org> wrote: > > > On Apr 22, 2016, at

ports that contain JAR file

with similar portfiles so I can learn from them. -Abdul --- Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". This is an issue tha

Need your help

ot. Please let me know when you get my email, Best regards, -Abdul --- Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". Th

Re: Fail port when using Local repository

t; instaed of "Abdulrahman Alshammari". This is an issue that I am trying to fix. > On Apr 21, 2016, at 11:11 AM, Bradley Giesbrecht <pixi...@macports.org> wrote: > >> On Apr 20, 2016, at 11:34 PM, Ryan Schmidt <ryandes...@macports.org> wrote: >> >>

Fail port when using Local repository

that, I updated the sources.conf and I already added my local path before the original one. -Abdul --- Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammar

new two ports submissions, CIVL and Z3, required review

orts.org/ticket/51094> Please review the two port and let me know what I need more to add. I really need your support. -Abdul --- Note: It might appear my name as "Ziad Ali" i

Re: Github Checksums ..

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 15, 2016, at 8:39 PM, Brandon Allbery <allber...@gmail.com> wrote: > > On Thu, Apr 14, 2016 at 11:24 PM, Abdulrahman Alshammari

Re: Github Checksums ..

Thanks for sharing the link. I have read it but I haven’t found any things related to checksums? --- Note: It might appear my name as "Ziad Ali" instaed of "Abdulrah

Github Checksums ..

Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". This is an issue that I am trying to fix. ___ macports-dev mailing list macports-dev@lists.macosforge.org https://lists.macosforge.org/mailman/listinfo/macports-dev

Re: local Portfile Repository

show the mailing list the exact commands you have already tried. > > -Sterling > > On Apr 7, 2016, at 7:15PM, Abdulrahman Alshammari <a.tu...@hotmail.com> wrote: > >> Hey, >> >> Setting to make a local portfile is explained very well in the >> do

local Portfile Repository

Hey, Setting to make a local portfile is explained very well in the documentation. However, when I want to update the portfile to insert the local repository, it is not allowed because the file is locked. Is there something that I have to do to go over this issue? Abdul

Re: Post-destroot - How to copy folder

Thanks a lot. > On Apr 7, 2016, at 9:06 PM, Mojca Miklavec <mo...@macports.org> wrote: > > On 8 April 2016 at 02:53, Abdulrahman Alshammari wrote: >> Hey, >> I have a library that contains many folders, each one with many examples. >> How can I copy the whole f

Re: checksums help ..

current directory... > > John > > > On 31 March 2016 at 17:55, Abdulrahman Alshammari <a.tu...@hotmail.com > <mailto:a.tu...@hotmail.com>> wrote: > Hey, > > When I want to find the correct checksums for my file, I follow what is > mentioned in the Mac

checksums help ..

Hey, When I want to find the correct checksums for my file, I follow what is mentioned in the Macports documents. But I still get different kind of errors. Can someone explain what I have to do please ? %% openssl dgst -rmd160 rrdtool-1.2.23.tar.gz %% openssl dgst -sha256 rrdtool-1.2.23.tar.gz

Re: Need help to write master_sites in the correct way

Done. Thanks for your support, Mojca Miklavec > On Mar 30, 2016, at 4:54 PM, Abdulrahman Alshammari <a.tu...@hotmail.com> > wrote: > > I really appreciate your support. It is completely about my concern. Awesome > solutions. > Thanks a lot > >> On Mar 30, 201

Need help to write master_sites in the correct way

Hey, The software that I want to build a port for is getting updated 3-5 times in a year. So, I need to build the portfile in a way that will be easy to update. So let me explain my issue. The homepage of the software is here: http://vsl.cis.udel.edu/civl/index.html

Re: Java Version required to be checked.

Thank you so much for your support. I get the idea now. > On Mar 28, 2016, at 9:08 PM, Ryan Schmidt <ryandes...@macports.org> wrote: > >> >> On Mar 28, 2016, at 6:22 PM, Abdulrahman Alshammari <a.tu...@hotmail.com> >> wrote: >> >>> >

Re: Java Version required to be checked.

> On Mar 28, 2016, at 11:54 AM, Ryan Schmidt <ryandes...@macports.org> wrote: > > >> On Mar 27, 2016, at 7:14 PM, Abdulrahman Alshammari <a.tu...@hotmail.com> >> wrote: >> >> Hey, >> >> I am building a porfile of my software. Origina

Java Version required to be checked.

Hey, I am building a porfile of my software. Originally, the software requires at least 1.8 Java version. I have found some portfiles in available ports section, they use pre-fetch to check if the operation system is at least earlier than a certain version. Can I do that for to check for Java

Jar File

Hey, I am almost done from biuilding the portfile and I just need someone to answer my question. my software is simply as jar file. Is it required to convert the jar files into DMG extension file ? Please let me know ASAP. Thanks Abdul ___ macports-dev