coqmktop - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

coqmktop - ຕົວເຊື່ອມຕໍ່ຍຸດທະວິທີຜູ້ໃຊ້ Coq Proof Assistant

ສະຫຼຸບສັງລວມ

coqmktop [ ທາງເລືອກໃນການ ] ໄຟ

ລາຍລະອຽດ

coqmktop ກໍ່ສ້າງລະດັບສູງສຸດ Coq ໃໝ່ ຂະຫຍາຍດ້ວຍຍຸດທະວິທີຂອງຜູ້ໃຊ້. ໄຟ ແມ່ນ​ຈຸດ​ປະ​ສົງ​
ໄຟລ໌ວັດຖຸ ຫຼືຫ້ອງສະໝຸດ Caml (ເຊັ່ນ: ມີຄຳຕໍ່ທ້າຍ .cmo, .cmx, .cma ຫຼື .cmxa) ເພື່ອເຊື່ອມຕໍ່ກັບ
ລະບົບ Coq. ຕົວເຊື່ອມຕໍ່ຜະລິດລະດັບສູງສຸດ Coq ທີ່ສາມາດໂທຫາໄດ້ໂດຍກົງ
ຫຼືໂດຍຜ່ານການ coqc(1​)​, ການ​ນໍາ​ໃຊ້​ທາງ​ເລືອກ -image​.

OPTIONS

-h ຊ່ວຍເຫຼືອ. ບອກຕົວເລືອກທີ່ມີຢູ່.

-srcdir dir
ລະບຸບ່ອນທີ່ໄຟລ໌ແຫຼ່ງ Coq ຢູ່

-o exec-file
ລະບຸຊື່ຂອງລະດັບສູງສຸດທີ່ໄດ້ຮັບຜົນ

-ທາງເລືອກ ລວບລວມໃນລະຫັດພື້ນເມືອງ

- ເຕັມ ເຊື່ອມຕໍ່ຍຸດທະວິທີລະດັບສູງ

-ທາງເທີງ ສ້າງ Coq ໃນລະດັບສູງສຸດ ocaml (ບໍ່ເຂົ້າກັນໄດ້ກັບ -ທາງເລືອກ)

-R dir ລະບຸໄດເລກະທໍລີ recursively ສໍາລັບ Ocaml

-v8 ການເຊື່ອມຕໍ່ກັບໄວຍະກອນ V8

ໃຊ້ coqmktop ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net