Opened 9 years ago

Closed 4 years ago

#51094 closed submission (duplicate)

z3 New port

Reported by: AlshammariA Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 2.3.4
Keywords: Cc: landonf (Landon Fuller)
Port: z3

Description (last modified by ryandesign (Ryan Carsten Schmidt))

This is a new port of a software that is not in macports yet. Some other ports might need this as a dependency.

Attachments (6)

Portfile (1.4 KB) - added by AlshammariA 9 years ago.
Portfile.1 (1.4 KB) - added by AlshammariA 9 years ago.
Portfile-z3github.diff (387 bytes) - added by AlshammariA 9 years ago.
Portfile.2 (1.3 KB) - added by ryandesign (Ryan Carsten Schmidt) 9 years ago.
Portfile.3 (2.2 KB) - added by AlshammariA 9 years ago.
mk_util.py.diff (739 bytes) - added by AlshammariA 9 years ago.

Download all attachments as: .zip

Change History (14)

Changed 9 years ago by AlshammariA

Attachment: Portfile added

comment:1 Changed 9 years ago by ryandesign (Ryan Carsten Schmidt)

Instead of manually specifying GitHub-related information, please use the github 1.0 portgroup and the github.setup procedure. Since the github portgroup uses "tarball" downloads, not "archive" downloads, this also means the checksums will change.

comment:2 Changed 9 years ago by ryandesign (Ryan Carsten Schmidt)

Description: modified (diff)
Keywords: z3 removed
Summary: "z3 New port"z3 New port
Type: requestsubmission

comment:3 Changed 9 years ago by mf2k (Frank Schima)

Also, remove the extract.suffix and distname lines since they are the default.

Changed 9 years ago by AlshammariA

Attachment: Portfile.1 added

Changed 9 years ago by AlshammariA

Attachment: Portfile-z3github.diff added

comment:4 Changed 9 years ago by AlshammariA

Updated portfile.1 with patch file. I don't know why we update the checksums. If I follow the same way, I got the same number. any suggestion?

comment:5 Changed 9 years ago by ryandesign (Ryan Carsten Schmidt)

The way that you're calling github.setup in attachment:Portfile.1 is not correct. You've specified that the GitHub organization is "MIT" but it's actually "Z3Prover".

There is a space after a backslash in your long_description, which is a syntax error. The backslash must be the last character on the line.

The homepage and master_sites lines should be removed because the github portgroup will set them correctly for you. Rather than using a master_sites URL ending with archive, the github portgroup will use one ending in tarball. "tarball" files are identical to "archive" files, with the exception of the name of the directory into which they extract, but that small difference is enough to cause the checksums to be different.

The line patchfiles Portfile-z3github.diff that you've added to the Portfile is not correct, nor is the file attachment:Portfile-z3github.diff.

The last line of your post-destroot block has syntax errors (continued to the next line without trailing backslash on the first line) and typos ("examaples").

The examples directory should be inside the doc directory. See https://guide.macports.org/#development.examples.augment

I've attached a Portfile that fixes these problems. It now fails at the configure phase with this error:

Traceback (most recent call last):
  File "scripts/mk_make.py", line 12, in <module>
    parse_options()
  File "/opt/local/var/macports/build/_private_tmp_z3/z3/work/z3-4.4.1/scripts/mk_util.py", line 633, in parse_options
    mk_dir(PYTHON_PACKAGE_DIR)
  File "/opt/local/var/macports/build/_private_tmp_z3/z3/work/z3-4.4.1/scripts/mk_util.py", line 691, in mk_dir
    os.makedirs(d)
  File "/System/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/os.py", line 157, in makedirs
    mkdir(name, mode)
OSError: [Errno 1] Operation not permitted: '/opt/local/lib/python2.7/dist-packages'

You'll need to figure out why it's trying to do anything in /opt/local/lib/python2.7/dist-packages at configure time, and find a way to prevent it from doing that. Ports aren't permitted to modify files outside of their work directory during most phases.

Changed 9 years ago by ryandesign (Ryan Carsten Schmidt)

Attachment: Portfile.2 added

Changed 9 years ago by AlshammariA

Attachment: Portfile.3 added

Changed 9 years ago by AlshammariA

Attachment: mk_util.py.diff added

comment:6 Changed 9 years ago by AlshammariA

Attached the z3 portfile. Wish it works.

comment:7 Changed 5 years ago by ryandesign (Ryan Carsten Schmidt)

Cc: landonf added

Landon, it looks like you added a z3 port last year. If it was developed independently from the one submitted in this ticket, you may want to see if anything from this version needs to be incorporated into yours before this ticket is closed.

comment:8 Changed 4 years ago by landonf (Landon Fuller)

Resolution: duplicate
Status: newclosed
Note: See TracTickets for help on using tickets.