Ini ialah arahan coqc yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
coqc - Penyusun Pembantu Bukti Coq
SINOPSIS
coqc [ umum ayam jantan pilihan ] fail
DESCRIPTION
coqc ialah penyusun kumpulan untuk Pembantu Bukti Coq. Pilihan pada dasarnya adalah
sama seperti coqtop(1). fail.v ialah fail vernakular untuk disusun. fail mesti dibentuk sahaja
dengan aksara `a` hingga `Z`, `0`-`9` atau `_` dan mesti bermula dengan huruf. The
pengkompil menghasilkan fail objek fail.vo.
Untuk penggunaan interaktif Coq, lihat coqtop(1).
PILIHAN
coqc ialah skrip yang hanya berjalan coqtop dengan pilihan -susun ia menerima pilihan yang sama
as coqtop.
-imej bin
penggunaan bin sebagai asas coqtop bukannya yang lalai.
-berkata-kata
mencetak fail yang disusun pada output standard.
Gunakan coqc dalam talian menggunakan perkhidmatan onworks.net