Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാവുന്ന coqc കമാൻഡ് ആണിത്.
പട്ടിക:
NAME
coqc - കോക് പ്രൂഫ് അസിസ്റ്റന്റ് കംപൈലർ
സിനോപ്സിസ്
coqc [ പൊതുവായ കോക്ക് ഓപ്ഷനുകൾ ] ഫയല്
വിവരണം
coqc കോക് പ്രൂഫ് അസിസ്റ്റന്റിനായുള്ള ബാച്ച് കംപൈലറാണ്. ഓപ്ഷനുകൾ അടിസ്ഥാനപരമായി
പോലെ തന്നെ കോക്ടോപ്പ്(1). file.v കംപൈൽ ചെയ്യാനുള്ള പ്രാദേശിക ഫയലാണ്. ഫയല് മാത്രം രൂപീകരിക്കണം
`a` മുതൽ `Z`, `0`-`9` അല്ലെങ്കിൽ `_` അക്ഷരങ്ങൾക്കൊപ്പം ഒരു അക്ഷരത്തിൽ തുടങ്ങണം. ദി
കമ്പൈലർ ഒരു ഒബ്ജക്റ്റ് ഫയൽ നിർമ്മിക്കുന്നു file.vo.
Coq-ന്റെ സംവേദനാത്മക ഉപയോഗത്തിന്, കാണുക കോക്ടോപ്പ്(1).
ഓപ്ഷനുകൾ
coqc ലളിതമായി പ്രവർത്തിക്കുന്ന ഒരു തിരക്കഥയാണ് കോക്ടോപ്പ് ഓപ്ഷൻ കൂടെ - സമാഹരിക്കുക അത് അതേ ഓപ്ഷനുകൾ സ്വീകരിക്കുന്നു
as കോക്ടോപ്പ്.
-ചിത്രം ബിൻ
ഉപയോഗം ബിൻ അടിസ്ഥാനമായി കോക്ടോപ്പ് സ്ഥിരസ്ഥിതിക്ക് പകരം.
-വെർബോസ്
കംപൈൽ ചെയ്ത ഫയൽ സ്റ്റാൻഡേർഡ് ഔട്ട്പുട്ടിൽ പ്രിന്റ് ചെയ്യുക.
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് coqc ഓൺലൈനായി ഉപയോഗിക്കുക