ພາສາອັງກິດພາສາຝຣັ່ງແອສປາໂຍນ

OnWorks favicon

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

ເປີດໃຊ້ coqdep ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີຜ່ານ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator

ນີ້ແມ່ນຄໍາສັ່ງ coqdep ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator

ໂຄງການ:

NAME


coqdep - ການ​ຂຶ້ນ​ກັບ​ໂມ​ດູນ​ລະ​ຫວ່າງ​ຄອມ​ພິວ​ເຕີ​ສໍາ​ລັບ​ໂຄງ​ການ Coq ແລະ Caml​

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


coqdep [ -w ] [ -I ລະບົບ ] [ -coqlib ລະບົບ ] [ -c ] [ -i ] [ -D ] [ -slash ]
ຊື່​ເອ​ກະ​ສານ ... ລະບົບ ...

ລາຍລະອຽດ


coqdep compute inter-module dependencies ສໍາລັບໂຄງການ Coq ແລະ Caml, ແລະພິມ
ຂຶ້ນກັບຜົນຜະລິດມາດຕະຖານໃນຮູບແບບທີ່ສາມາດອ່ານໄດ້ໂດຍການເຮັດໃຫ້. ເມື່ອໄດເລກະທໍລີແມ່ນ
ໃຫ້ເປັນການໂຕ້ຖຽງ, ມັນຖືກເບິ່ງຄືນຢູ່.

ຄວາມເພິ່ງພາອາໄສຂອງໂມດູນ Coq ຖືກຄິດໄລ່ໂດຍການເບິ່ງ ຕ້ອງການ ຄໍາສັ່ງ (Require, Require
ສົ່ງອອກ, ຕ້ອງການນໍາເຂົ້າ), ປະກາດ ML ໂມດູນ ຄໍາ​ສັ່ງ​ແລະ​ Load ຄໍາສັ່ງ. ການເພິ່ງພາອາໄສ
ກ່ຽວຂ້ອງກັບໂມດູນຈາກຫ້ອງສະຫມຸດ Coq ບໍ່ໄດ້ຖືກພິມອອກ.

ຄວາມເພິ່ງພາອາໄສຂອງໂມດູນ Caml ຖືກຄິດໄລ່ໂດຍການເບິ່ງ ເປີດ ທິດ​ທາງ​ແລະ​ຈຸດ​
ຄະແນນ module.value.

OPTIONS


-c ພິມຄວາມຂຶ້ນກັບຂອງໂມດູນ Caml. (ໃນໂມດູນ Caml, ພຶດຕິກໍາແມ່ນ
ຄືກັນກັບ ocamldep).

-w ພິມຄໍາເຕືອນຖ້າຫາກວ່າຄໍາສັ່ງ Coq ປະກາດ ML ໂມດູນ ບໍ່ຖືກຕ້ອງ. (ຕົວ​ຢ່າງ,
ທ່ານຂຽນວ່າ 'ປະກາດ ML Module "A".', ແຕ່ໂມດູນ A ມີ #open "B"). ໄດ້
ຄໍາສັ່ງທີ່ຖືກຕ້ອງຖືກພິມອອກ (ເບິ່ງທາງເລືອກ -D). ຄໍາເຕືອນແມ່ນພິມຕາມມາດຕະຖານ
ຜິດພາດ.

-D ຄໍາສັ່ງນີ້ຊອກຫາທຸກຄໍາສັ່ງ ປະກາດ ML ໂມດູນ ຂອງແຕ່ລະໄຟລ໌ Coq ໃຫ້ເປັນ
ການໂຕ້ຖຽງແລະສໍາເລັດ (ຖ້າຈໍາເປັນ) ບັນຊີລາຍຊື່ຂອງໂມດູນ Caml. ຄໍາສັ່ງໃຫມ່ແມ່ນ
ພິມຢູ່ໃນຜົນຜະລິດມາດຕະຖານ. ບໍ່ມີການເພິ່ງພາອາໄສທາງເລືອກນີ້.

-slash ພິມເສັ້ນທາງໂດຍໃຊ້ເຄື່ອງໝາຍທັບແທນຕົວແຍກສະເພາະ OS. ທາງເລືອກນີ້ແມ່ນ
ເປັນປະໂຫຍດໃນເວລາທີ່ການພັດທະນາພາຍໃຕ້ Cygwin.

-I ລະບົບ
ໄຟລ໌ .v .ml .mli ຂອງໄດເລກະທໍລີ ລະບົບ ໄດ້ຖືກພິຈາລະນາໃນລະຫວ່າງ
calculus ຂອງ dependencies, ແຕ່ dependencies ຂອງເຂົາເຈົ້າເອງຍັງບໍ່ໄດ້ພິມອອກ.

-coqlib ລະບົບ
ຊີ້ບອກວ່າຫ້ອງສະໝຸດ Coq ຢູ່ໃສ. ຄ່າເລີ່ມຕົ້ນໄດ້ຖືກກໍານົດຢູ່ທີ່
ເວລາຕິດຕັ້ງ, ແລະດັ່ງນັ້ນທາງເລືອກນີ້ບໍ່ຄວນຖືກນໍາໃຊ້ພາຍໃຕ້ປົກກະຕິ
ສະຖານະການ.

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


ເຊີບເວີ ແລະສະຖານີເຮັດວຽກຟຣີ

ດາວໂຫຼດແອັບ Windows ແລະ Linux

  • 1
    ຜູ້ຈັດການ PAC
    ຜູ້ຈັດການ PAC
    PAC ເປັນການທົດແທນ Perl/GTK ສໍາລັບ
    SecureCRT/Putty/etc (linux
    ssh/telnet/... gui)... ມັນສະຫນອງ GUI
    ການຕັ້ງຄ່າການເຊື່ອມຕໍ່: ຜູ້ໃຊ້,
    ລະ​ຫັດ​ຜ່ານ​, ຄາດ​ວ່າ​ຈະ​ລະ​ບຽບ​ການ ...
    ດາວໂຫລດ PAC Manager
  • 2
    GeoServer
    GeoServer
    GeoServer ເປັນຊອບແວ open-source
    ເຊີບເວີຂຽນໃນ Java ທີ່ອະນຸຍາດໃຫ້ຜູ້ໃຊ້
    ເພື່ອແບ່ງປັນ ແລະແກ້ໄຂຂໍ້ມູນພູມສາດ.
    ອອກແບບສໍາລັບການເຮັດວຽກຮ່ວມກັນ, ມັນ
    ເຜີຍແຜ່ da...
    ດາວໂຫລດ GeoServer
  • 3
    Firefly III
    Firefly III
    ການເງິນສ່ວນຕົວທີ່ບໍ່ເສຍຄ່າ ແລະເປີດແຫຼ່ງ
    ຜູ້​ຈັດ​ການ. Firefly III ລັກສະນະ ກ
    ລະບົບການບັນຊີສອງຄັ້ງ. ເຈົ້າ​ສາ​ມາດ
    ເຂົ້າໄປໄວ ແລະຈັດລະບຽບຂອງເຈົ້າ
    ທຸລະກຳ i...
    ດາວໂຫລດ Firefly III
  • 4
    ສ່ວນຂະຫຍາຍ Apache OpenOffice
    ສ່ວນຂະຫຍາຍ Apache OpenOffice
    ລາຍການຢ່າງເປັນທາງການຂອງ Apache
    ສ່ວນຂະຫຍາຍ OpenOffice. ເຈົ້າຈະພົບເຫັນ
    ສ່ວນຂະຫຍາຍຕັ້ງແຕ່ວັດຈະນານຸກົມຫາ
    ເຄື່ອງ​ມື​ທີ່​ຈະ​ນໍາ​ເຂົ້າ​ໄຟລ​໌ PDF ແລະ​ການ​ເຊື່ອມ​ຕໍ່​
    ກັບ ext...
    ດາວໂຫລດ Apache OpenOffice Extensions
  • 5
    MantisBT
    MantisBT
    Mantis ເປັນເວັບທີ່ສາມາດນຳໃຊ້ໄດ້ງ່າຍ
    bugtracker ອີງໃສ່ການຊ່ວຍເຫຼືອ bug ຜະລິດຕະພັນ
    ການຕິດຕາມ. ມັນຮຽກຮ້ອງໃຫ້ມີ PHP, MySQL ແລະ a
    ເຊີບເວີເວັບ. ກວດເບິ່ງຕົວຢ່າງຂອງພວກເຮົາ ແລະເປັນເຈົ້າພາບ
    ຂໍ້ສະເໜີ...
    ດາວໂຫລດ MantisBT
  • 6
    LAN Messenger
    LAN Messenger
    LAN Messenger ເປັນແອັບພລິເຄຊັນສົນທະນາ p2p
    ສໍາລັບການສື່ສານ intranet ແລະບໍ່
    ຕ້ອງການເຄື່ອງແມ່ຂ່າຍ. ຫຼາກຫຼາຍຂອງ handy
    ຄຸນນະສົມບັດແມ່ນສະຫນັບສະຫນູນລວມທັງ
    ແຈ້ງ​ການ...
    ດາວໂຫລດ LAN Messenger
  • ເພີ່ມເຕີມ »

Linux ຄຳ ສັ່ງ

  • 1
    abidw
    abidw
    abidw - serialize ABI ຂອງ ELF ໄດ້
    file abidw ອ່ານຫ້ອງສະຫມຸດທີ່ໃຊ້ຮ່ວມກັນໃນ ELF
    ຮູບແບບແລະປ່ອຍຕົວສະແດງ XML
    ABI ຂອງ​ຕົນ​ກັບ​ຜົນ​ຜະ​ລິດ​ມາດ​ຕະ​ຖານ​. ໄດ້
    ປ່ອຍອອກມາ...
    ແລ່ນ abidw
  • 2
    abilint
    abilint
    abilint - ກວດສອບ abigail ABI
    ການເປັນຕົວແທນ abilint parses native
    ການເປັນຕົວແທນ XML ຂອງ ABI ທີ່ປ່ອຍອອກມາ
    ໂດຍ abidw. ເມື່ອມັນວິເຄາະ XML ແລ້ວ
    ບັນຍາຍ...
    ແລ່ນ abilint
  • 3
    coresendmsg
    coresendmsg
    coresendmsg - ສົ່ງຂໍ້ຄວາມ CORE API
    ກັບ core-daemon daemon ...
    ດໍາເນີນການ coresendmsg
  • 4
    core_server
    core_server
    core_server - ເຄື່ອງແມ່ຂ່າຍຕົ້ນຕໍສໍາລັບ
    SpamBayes. ລາຍລະອຽດ: ປະຈຸບັນໃຫ້ບໍລິການ
    ການໂຕ້ຕອບຂອງເວັບໄຊຕ໌ເທົ່ານັ້ນ. ສຽບເຂົ້າ
    ຜູ້ຟັງສໍາລັບໂປໂຕຄອນຕ່າງໆແມ່ນ TBD.
    ນີ້ ...
    ແລ່ນ core_server
  • 5
    fwflash
    fwflash
    fwflash - ໂຄງ​ການ​ເພື່ອ flash ໄຟ​ຮູບ​ພາບ​
    ກັບອຸປະກອນ NXT ທີ່ເຊື່ອມຕໍ່...
    ແລ່ນ fwflash
  • 6
    fwts-collect
    fwts-collect
    fwts-collect - ເກັບກໍາຂໍ້ມູນບັນທຶກສໍາລັບ fwts
    ການ​ລາຍ​ງານ bug​. ...
    ດໍາເນີນການ fwts-collect
  • ເພີ່ມເຕີມ »

Ad