@name z3-4.15.4_0+lto+polly+polly_late+polly_vector+threads
@portname z3
@portepoch 0
@portversion 4.15.4
@portrevision 0
@archs x86_64
@portvariant +lto
@portvariant +polly
@portvariant +polly_late
@portvariant +polly_vector
@portvariant +threads
@pkgdep legacy-support-1.5.2_0
@macports_version 2.11.6
@os.subplatform macosx
@os.version 17.7.0
@macos_version 10.13.6
@xcodecltversion 9.4.1.0.1.1528165917
@ports_commit 6bfb0b24bf05f48dad2d3cd2e19503d93cddea25
@source_date_epoch 1762788455
opt/local/bin/qprofdiff
@comment MD5:63022d18f31139fc22cc9ce2cb13eca3
@comment binary:1
opt/local/bin/z3
@comment MD5:92d5f4903990ad7c0dc6e5e5462a982f
@comment binary:1
opt/local/include/z3++.h
@comment MD5:e91cc1ab2f3ba1f47b52a5a4d441b5d5
@comment binary:0
opt/local/include/z3.h
@comment MD5:410b2c82cb60876114f6722b49a5f1b1
@comment binary:0
opt/local/include/z3_algebraic.h
@comment MD5:eed96a98ccca879c61f29f7590945557
@comment binary:0
opt/local/include/z3_api.h
@comment MD5:7ab06d1c800eee9b736e8f2da167e566
@comment binary:0
opt/local/include/z3_ast_containers.h
@comment MD5:f3453f709c563f03d747f41c85eabe2d
@comment binary:0
opt/local/include/z3_fixedpoint.h
@comment MD5:3d76b391f3d00fc5ecba31aa2f80f17e
@comment binary:0
opt/local/include/z3_fpa.h
@comment MD5:2967106c6fc5df56a7208894a7cd1953
@comment binary:0
opt/local/include/z3_macros.h
@comment MD5:b135b9b51425ecaf3e03393494cda2a6
@comment binary:0
opt/local/include/z3_optimization.h
@comment MD5:f3a637dd382258b1d1b216c7c842d7df
@comment binary:0
opt/local/include/z3_polynomial.h
@comment MD5:158eba9164719d95da61ead07ca3f48c
@comment binary:0
opt/local/include/z3_rcf.h
@comment MD5:832c89329462f994b3d3f402fa706683
@comment binary:0
opt/local/include/z3_spacer.h
@comment MD5:143903084e9d12a00621fffd8af13919
@comment binary:0
opt/local/include/z3_v1.h
@comment MD5:360f604e9d1489b610ad7b43bebac588
@comment binary:0
opt/local/include/z3_version.h
@comment MD5:7665e77b22824b71e75aee084fbc6b68
@comment binary:0
opt/local/lib/cmake/z3/Z3Config.cmake
@comment MD5:ee8af9f7169334d1a9d06d636d55c994
@comment binary:0
opt/local/lib/cmake/z3/Z3ConfigVersion.cmake
@comment MD5:11ddd02f1146bd481ebda5880e24c54f
@comment binary:0
opt/local/lib/cmake/z3/Z3Targets-release.cmake
@comment MD5:3acbb540e0e7652109cbdf3d1bc609e7
@comment binary:0
opt/local/lib/cmake/z3/Z3Targets.cmake
@comment MD5:f9625d6a94e0ca23ef50b03820c92ba0
@comment binary:0
opt/local/lib/libz3.4.15.4.0.dylib
@comment MD5:e89b8788217375515bc6081551182fa0
@comment binary:1
opt/local/lib/libz3.4.15.dylib
@comment MD5:e89b8788217375515bc6081551182fa0
@comment binary:0
opt/local/lib/libz3.a
@comment MD5:419f50b02d3fc0d847f3103744b4bf6f
@comment binary:0
opt/local/lib/libz3.dylib
@comment MD5:e89b8788217375515bc6081551182fa0
@comment binary:0
opt/local/lib/pkgconfig/z3.pc
@comment MD5:f69417d0beb3bbabb8ae95ce95df9ff2
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
