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