coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Colin S. Gordon" <csgordon AT cs.drexel.edu>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] command-line binaries on MacOS
- Date: Wed, 18 Nov 2015 13:54:18 -0500
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=csgordon AT cs.drexel.edu; spf=None smtp.mailfrom=csgordon AT cs.drexel.edu; spf=None smtp.helo=postmaster AT mail1.cs.drexel.edu
- Ironport-phdr: 9a23:QRdFgR2l3tCpFT+TsmDT+DRfVm0co7zxezQtwd8ZsegSL/ad9pjvdHbS+e9qxAeQG96LtrQa0qGP6vqocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLpjqvrosebSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK79ZuEzSaFSJDUgKWE8osPx5jfZSg7arFAbVmQQ2iEOSyfC9h39WN255iDhue1n1C6cFcbtC7wuVCSv6+FmRAK+23RPDCIw7GyC0p84t6lcuh/0/xE=
- Organization: Drexel University
They're installed under the Contents/Resources/bin directory inside the application package. For instance, on my machine:
$ ls -1 /Applications/CoqIDE_8.5beta2.app/Contents/Resources/bin/
coq-tex
coq_makefile
coqc
coqchk
coqdep
coqdoc
coqmktop
coqtop
coqtop.byte
coqwc
coqworkmgr
gallina
On 11/18/15 1:39 PM, Michael Shulman wrote:
Does the MacOS binary installer also contain the command-line programs
coqtop, coqc, etc.? If so, where are they?
- [Coq-Club] command-line binaries on MacOS, Michael Shulman, 11/18/2015
- Re: [Coq-Club] command-line binaries on MacOS, Colin S. Gordon, 11/18/2015
Archive powered by MHonArc 2.6.18.