[MacPorts] #51094: z3 New port

[MacPorts]

#51094: z3 New port
-------------------------+--------------------------------
  Reporter:  aturqi@…    |      Owner:  macports-tickets@…
      Type:  submission  |     Status:  new
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:  2.3.4
Resolution:              |   Keywords:
      Port:  z3          |
-------------------------+--------------------------------

Comment (by ryandesign@…):

 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.

-- 
Ticket URL: <https://trac.macports.org/ticket/51094#comment:5>
MacPorts <https://www.macports.org/>
Ports system for OS X