coqdep - ക്ലൗഡിൽ ഓൺലൈനിൽ

പട്ടിക:

NAME

coqdep - Coq, Caml പ്രോഗ്രാമുകൾക്കുള്ള ഇന്റർ-മൊഡ്യൂൾ ഡിപൻഡൻസികൾ കണക്കാക്കുക

സിനോപ്സിസ്

coqdep [ -w ] [ -I ഡയറക്ടറി ] [ -കോക്ലിബ് ഡയറക്ടറി ] [ -c ] [ -i ] [ -D ] [ -വെട്ടുക ]
ഫയലിന്റെ പേര് ... ഡയറക്ടറി ...

വിവരണം

coqdep Coq, Caml പ്രോഗ്രാമുകൾക്കായുള്ള ഇന്റർ-മൊഡ്യൂൾ ഡിപൻഡൻസികൾ കണക്കാക്കുകയും പ്രിന്റ് ചെയ്യുകയും ചെയ്യുന്നു
ഉണ്ടാക്കി വായിക്കാൻ കഴിയുന്ന ഫോർമാറ്റിലുള്ള സ്റ്റാൻഡേർഡ് ഔട്ട്‌പുട്ടിന്റെ ആശ്രിതത്വം. ഒരു ഡയറക്ടറി ആയിരിക്കുമ്പോൾ
ആർഗ്യുമെന്റായി നൽകിയിരിക്കുന്നു, അത് ആവർത്തിച്ച് നോക്കുന്നു.

Coq മൊഡ്യൂളുകളുടെ ആശ്രിതത്വം കണക്കാക്കുന്നത് നോക്കിയാണ് ആവശ്യമാണ് കമാൻഡുകൾ (ആവശ്യമാണ്, ആവശ്യമാണ്
കയറ്റുമതി, ഇറക്കുമതി ആവശ്യമാണ്), പ്രഖ്യാപിക്കുക ML മൊഡ്യൂൾ കമാൻഡുകൾ ഒപ്പം ഭാരം കമാൻഡുകൾ. ആശ്രിതത്വം
കോക് ലൈബ്രറിയിൽ നിന്നുള്ള മൊഡ്യൂളുകളുമായി ബന്ധപ്പെട്ട് അച്ചടിച്ചിട്ടില്ല.

കാംൽ മൊഡ്യൂളുകളുടെ ആശ്രിതത്വം കണക്കാക്കുന്നത് നോക്കിയാണ് തുറക്കുക നിർദ്ദേശങ്ങളും ഡോട്ടും
നോട്ടേഷൻ module.value.

ഓപ്ഷനുകൾ

-c കാംൽ മൊഡ്യൂളുകളുടെ ഡിപൻഡൻസികൾ പ്രിന്റ് ചെയ്യുന്നു. (Caml മൊഡ്യൂളുകളിൽ, പെരുമാറ്റം
ocamldep പോലെ തന്നെ).

-w Coq കമാൻഡ് ആണെങ്കിൽ ഒരു മുന്നറിയിപ്പ് പ്രിന്റ് ചെയ്യുന്നു പ്രഖ്യാപിക്കുക ML മൊഡ്യൂൾ തെറ്റാണ്. (ഉദാഹരണത്തിന്,
നിങ്ങൾ `ഡിക്ലേർ എംഎൽ മൊഡ്യൂൾ "എ" എഴുതി.', എന്നാൽ മൊഡ്യൂൾ എയിൽ #ഓപ്പൺ "ബി" അടങ്ങിയിരിക്കുന്നു). ദി
ശരിയായ കമാൻഡ് അച്ചടിച്ചു (ഓപ്ഷൻ -D കാണുക). മുന്നറിയിപ്പ് സ്റ്റാൻഡേർഡിലാണ് അച്ചടിച്ചിരിക്കുന്നത്
പിശക്.

-D ഈ കമാൻഡുകൾ എല്ലാ കമാൻഡിനും വേണ്ടി നോക്കുന്നു പ്രഖ്യാപിക്കുക ML മൊഡ്യൂൾ ഓരോ Coq ഫയലിലും നൽകിയിരിക്കുന്നു
ആർഗ്യുമെന്റ് ചെയ്ത് കാംൽ മൊഡ്യൂളുകളുടെ ലിസ്റ്റ് പൂർത്തിയാക്കുക (ആവശ്യമെങ്കിൽ). എന്നതാണ് പുതിയ കമാൻഡ്
സ്റ്റാൻഡേർഡ് ഔട്ട്പുട്ടിൽ അച്ചടിച്ചിരിക്കുന്നു. ഈ ഓപ്ഷൻ ഉപയോഗിച്ച് ആശ്രിതത്വം കണക്കാക്കില്ല.

-വെട്ടുക OS നിർദ്ദിഷ്ട സെപ്പറേറ്ററിന് പകരം ഒരു സ്ലാഷ് ഉപയോഗിച്ച് പാത്തുകൾ പ്രിന്റ് ചെയ്യുന്നു. ഈ ഓപ്ഷൻ ആണ്
സിഗ്വിൻ കീഴിൽ വികസിപ്പിക്കുമ്പോൾ ഉപയോഗപ്രദമാണ്.

-I ഡയറക്ടറി
ഡയറക്ടറിയുടെ .v .ml .mli ഫയലുകൾ ഡയറക്ടറി സമയത്ത് കണക്കിലെടുക്കുന്നു
ആശ്രിതത്വങ്ങളുടെ കാൽക്കുലസ്, എന്നാൽ അവയുടെ സ്വന്തം ഡിപൻഡൻസികൾ അച്ചടിച്ചിട്ടില്ല.

-കോക്ലിബ് ഡയറക്ടറി
Coq ലൈബ്രറി എവിടെയാണെന്ന് സൂചിപ്പിക്കുന്നു. ഡിഫോൾട്ട് മൂല്യം നിശ്ചയിച്ചിരിക്കുന്നു
ഇൻസ്റ്റലേഷൻ സമയം, അതിനാൽ ഈ ഓപ്ഷൻ സാധാരണ ഉപയോഗിക്കേണ്ടതില്ല
സാഹചര്യങ്ങൾ.

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