Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാൻ കഴിയുന്ന coqmktop കമാൻഡ് ആണിത്.
പട്ടിക:
NAME
coqmktop - കോക് പ്രൂഫ് അസിസ്റ്റന്റ് ഉപയോക്തൃ-തന്ത്ര ലിങ്കർ
സിനോപ്സിസ്
coqmktop [ ഓപ്ഷനുകൾ ] ഫയലുകൾ
വിവരണം
coqmktop ഉപയോക്തൃ തന്ത്രങ്ങൾ ഉപയോഗിച്ച് വിപുലീകരിച്ച ഒരു പുതിയ Coq ടോപ്ലെവൽ നിർമ്മിക്കുന്നു. ഫയലുകൾ ലക്ഷ്യമാണ്
കാംൽ ഒബ്ജക്റ്റ് അല്ലെങ്കിൽ ലൈബ്രറി ഫയലുകൾ (അതായത് .cmo, .cmx, .cma അല്ലെങ്കിൽ .cmxa എന്ന സഫിക്സിനൊപ്പം) ലിങ്ക് ചെയ്യാൻ
കോക് സിസ്റ്റം. ലിങ്കർ നേരിട്ട് വിളിക്കാവുന്ന എക്സിക്യൂട്ടബിൾ കോക് ടോപ്ലെവൽ നിർമ്മിക്കുന്നു
അല്ലെങ്കിൽ അതിലൂടെ coqc(1), -image ഓപ്ഷൻ ഉപയോഗിക്കുന്നു.
ഓപ്ഷനുകൾ
-h സഹായം. ലഭ്യമായ ഓപ്ഷനുകൾ ലിസ്റ്റ് ചെയ്യുക.
-srcdir മുതലാളി
Coq ഉറവിട ഫയലുകൾ എവിടെയാണെന്ന് വ്യക്തമാക്കുക
-o exec-file
തത്ഫലമായുണ്ടാകുന്ന ടോപ്ലെവലിന്റെ പേര് വ്യക്തമാക്കുക
-തിരഞ്ഞെടുക്കുക നേറ്റീവ് കോഡിൽ കംപൈൽ ചെയ്യുക
- നിറഞ്ഞത് ഉയർന്ന തലത്തിലുള്ള തന്ത്രങ്ങൾ ലിങ്ക് ചെയ്യുക
-ടോപ്പ് ഒരു ഒകാമൽ ടോപ്ലെവലിൽ Coq നിർമ്മിക്കുക (അനുയോജ്യമല്ല -തിരഞ്ഞെടുക്കുക)
-R മുതലാളി Ocaml-നുള്ള ആവർത്തന ഡയറക്ടറികൾ വ്യക്തമാക്കുക
-v8 V8 വ്യാകരണവുമായുള്ള ലിങ്ക്
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് coqmktop ഓൺലൈനായി ഉപയോഗിക്കുക