.make.sh-auto « compcert « homebrew - elucubratus.git - Elucubratus

summary refs log tree commit diff

path: root/homebrew/compcert/.make.sh-auto

blob: 55188d301d7a01171831ff89f5bb820a3495c1cf (plain)

pkg:setup
pkg:configure -prefix prefix x86_64-macosx -ignore-coq-version
make all
make DESTDIR=${PKG_DEST} install