نام (NAME)

polyc - کامپایل و پیوند دادن برنامه‌های Standard ML با استفاده از Poly/ML

خلاصه دستور (SYNOPSIS)

polyc sourcefile

توضیحات (DESCRIPTION)

polyc اسکریپتی است که یک برنامه Standard ML را با استفاده از کامپایلر Poly/ML کامپایل کرده و از آن یک برنامه اجرایی می‌سازد. همچنین می‌تواند برای پیوند دادن فایل‌های شیء (object files) ایجاد شده با تابع PolyML.export با کتابخانه‌های Poly/ML، یا برای تولید یک فایل شیء استفاده شود. هنگامی که برای کامپایل یک برنامه Standard ML به کار می‌رود، انتظار دارد که تابع اصلی "main" نامیده شود؛ برای مثال: fun main() = print "Hello World\n";

اگر فایل مبدا یک فایل متنی باشد، کد منبع ML فرض می‌شود. اگر یک فایل باینری باشد، به عنوان فایل شیء در نظر گرفته شده و با کتابخانه Poly/ML پیوند داده خواهد شد.

گزینه‌ها (OPTIONS)

-c کامپایل بدون پیوند دادن. فایل شیء در فایلی نوشته می‌شود که نام آن بر اساس نام فایل مبدا بوده و هر پسوندی با .o جایگزین می‌شود.

-o output

نوشتن فایل اجرایی در "output".

--help

نمایش فهرستی از آرگومان‌ها و خروج.

همچنین ببینید (SEE ALSO)

http://www.polyml.org وبگاه Poly/ML.