The MacPorts Project

Skip to Content


MacPorts Portfiles

The MacPorts Project currently distributes 23173 ports, organized across 89 different categories and available below for viewing. This form allows you to search the MacPorts software index, last updated on 2020-02-22 at 04:42:47 UTC.


Or view the complete ports list (23173 ports).


Query Results

9 Portfiles Selected

llvm-3.7 3.7.1 (source)
llvm is a next generation compiler infrastructure
Licenses: NCSA
Maintained by:
Categories: lang
Platforms: darwin
Dependencies: perl5 xz libcxx libedit libffi llvm_select ncurses zlib
Variants: assertions ocaml polly universal

llvm-5.0 5.0.2 (source)
llvm is a next generation compiler infrastructure
Licenses: NCSA
Maintained by:
Categories: lang
Platforms: darwin
Dependencies: perl5 xz cmake xar libcxx libedit libffi llvm_select ncurses zlib
Variants: assertions debug ocaml polly universal

llvm-6.0 6.0.1 (source)
llvm is a next generation compiler infrastructure
Licenses: NCSA
Maintained by:
Categories: lang
Platforms: darwin
Dependencies: perl5 xz cmake xar libcxx libedit libffi llvm_select ncurses zlib
Variants: assertions debug ocaml polly universal

llvm-7.0 7.1.0 (source)
llvm is a next generation compiler infrastructure
Licenses: NCSA
Maintained by:
Categories: lang
Platforms: darwin
Dependencies: perl5 xz cmake xar libcxx libedit libffi llvm_select ncurses zlib
Variants: assertions debug ocaml polly universal

llvm-8.0 8.0.1 (source)
llvm is a next generation compiler infrastructure
Licenses: NCSA
Maintained by:
Categories: lang
Platforms: darwin
Dependencies: perl5 xz cmake xar libcxx libedit libffi llvm_select ncurses zlib
Variants: assertions debug ocaml polly universal

llvm-9.0 9.0.1 (source)
llvm is a next generation compiler infrastructure
Licenses: NCSA
Maintained by:
Categories: lang
Platforms: darwin
Dependencies: perl5 xz cmake xar libcxx libedit libffi llvm_select ncurses zlib
Variants: assertions debug ocaml polly universal

llvm-devel devel-r365158 (source)
llvm is a next generation compiler infrastructure
Licenses: NCSA
Maintained by:
Categories: lang
Platforms: darwin
Dependencies: perl5 cmake xar libcxx libedit libffi llvm_select ncurses subversion subversion zlib
Variants: assertions debug ocaml polly universal

z3 4.8.7 (source)
Z3 Theorem Prover
Licenses: MIT
Maintained by:
Categories: math science
Platforms: darwin freebsd
Dependencies: cmake bash clang-9.0 gmp ninja python27
Variants: debug gmp lto native polly polly_late polly_parallel polly_two_level_tiling polly_vector threads universal

z3-fstar 4.8.5 (source)
F*-qualified release of the Z3 Theorem Prover
Licenses: MIT
Maintained by:
Categories: math science
Platforms: darwin freebsd
Dependencies: cmake bash clang-9.0 gmp ninja python27
Variants: debug gmp lto native polly polly_late polly_parallel polly_two_level_tiling polly_vector universal