coqchk.opt - ക്ലൗഡിൽ ഓൺലൈനിൽ

പട്ടിക:

NAME

coqchk - കോക് പ്രൂഫ് ചെക്കർ സമാഹരിച്ച ലൈബ്രറികൾ വെരിഫയർ

സിനോപ്സിസ്

coqchk [ ഓപ്ഷനുകൾ ] മൊഡ്യൂളുകൾ

വിവരണം

coqchk കംപൈൽ ചെയ്‌ത ലൈബ്രറികളുടെ (.vo ഫയലുകൾ coqc നിർമ്മിച്ചത്) ഒറ്റപ്പെട്ട ചെക്കറാണ്
കോക് പ്രൂഫ് അസിസ്റ്റന്റ്. കൂടുതൽ വിവരങ്ങൾക്ക് റഫറൻസ് മാനുവൽ കാണുക. കൂടെ തിരിച്ചുവരുന്നു
അഭ്യർത്ഥിച്ച എല്ലാ ജോലികളും വിജയിച്ചാൽ കോഡ് 0-ൽ നിന്ന് പുറത്തുകടക്കുക. പൂജ്യമല്ലാത്ത റിട്ടേൺ കോഡ് അർത്ഥമാക്കുന്നത്
എന്തോ കുഴപ്പം സംഭവിച്ചു: ചില ലൈബ്രറി കണ്ടെത്തിയില്ല, ഉള്ളടക്കം കേടായി, ടൈപ്പ്-ചെക്കിംഗ്
പരാജയം മുതലായവ.

മൊഡ്യൂളുകൾ പരിശോധിക്കേണ്ട മൊഡ്യൂളുകളുടെ ഒരു ലിസ്റ്റ് ആണ്. മൊഡ്യൂളുകൾ ഒരു ഷോർട്ട് അല്ലെങ്കിൽ
യോഗ്യതയുള്ള പേര്.

ഓപ്ഷനുകൾ

-I ആണ്, --ഉൾപ്പെടുന്നു മുതലാളി
ഡയറക്ടറി ചേർക്കുക മുതലാളി ഉൾപ്പെടുന്ന പാതയിൽ

-R മുതലാളി coqdir
ആവർത്തിച്ചുള്ള മാപ്പ് ഫിസിക്കൽ മുതലാളി ലോജിക്കൽ വരെ coqdir

- നിശബ്ദം
coqchk-നെ വാചാലനാക്കുന്നു.

- സമ്മതിക്കുക മൊഡ്യൂൾ
നിർദ്ദിഷ്‌ട മൊഡ്യൂളും അതിന്റെ എല്ലാ ഡിപൻഡൻസികളും വിശ്വസനീയമെന്ന് ടാഗ് ചെയ്യുക, അങ്ങനെയായിരിക്കില്ല
മറ്റ് ഓപ്‌ഷനുകൾ വ്യക്തമായി ആവശ്യപ്പെട്ടില്ലെങ്കിൽ വീണ്ടും പരിശോധിച്ചു.

-നോറെക് മൊഡ്യൂൾ
നൽകിയിരിക്കുന്ന മൊഡ്യൂൾ പരിശോധിക്കാൻ അഭ്യർത്ഥിക്കാതെ തന്നെ അത് പരിശോധിക്കപ്പെടുമെന്ന് വ്യക്തമാക്കുന്നു
ആശ്രിതത്വങ്ങൾ.

-എം, --ഓർമ്മ
ചെക്കർ ഉപയോഗിക്കുന്ന മെമ്മറിയുടെ ഒരു സംഗ്രഹം പ്രദർശിപ്പിക്കുന്നു.

-ഓ, --ഔട്ട്പുട്ട്-സന്ദർഭം
പരിശോധിച്ചുറപ്പിച്ച ലോജിക്കൽ ഉള്ളടക്കത്തിന്റെ ഒരു സംഗ്രഹം പ്രദർശിപ്പിക്കുന്നു: അനുമാനങ്ങൾ കൂടാതെ
പ്രവചനാത്മകതയുടെ ഉപയോഗം.

-പ്രവചന-സെറ്റ്
ഈ ഫ്ലാഗ് ഉപയോഗിച്ച് സമാഹരിച്ച ലൈബ്രറികൾ സ്വീകരിക്കാൻ ചെക്കറെ അനുവദിക്കുന്നു.

-v coqchk പതിപ്പ് അച്ചടിച്ച് പുറത്തുകടക്കുക.

-കോക്ലിബ് മുതലാളി
സാധാരണ ലൈബ്രറിയുടെ സ്ഥിരസ്ഥിതി സ്ഥാനം അസാധുവാക്കുന്നു.

-എവിടെ coqchk സ്റ്റാൻഡേർഡ് ലൈബ്രറി ലൊക്കേഷൻ പ്രിന്റ് ചെയ്ത് പുറത്തുകടക്കുക.

-h, --സഹായിക്കൂ
ഓപ്ഷനുകളുടെ ലിസ്റ്റ് പ്രിന്റ് ചെയ്യുക

onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് coqchk.opt ഓൺലൈനായി ഉപയോഗിക്കുക