.TH POLY 1 "Poly/ML Version 5.9.2 2025"
.SH "نام (NAME)"
polyc \- کامپایل و پیوند دادن برنامه‌های Standard ML با استفاده از Poly/ML
.SH "خلاصه دستور (SYNOPSIS)"
.B polyc
.I sourcefile
.SH "توضیحات (DESCRIPTION)"
.I polyc 
اسکریپتی است که یک برنامه Standard ML را با استفاده از کامپایلر Poly/ML کامپایل کرده و از آن یک برنامه اجرایی می‌سازد. همچنین می‌تواند برای پیوند دادن فایل‌های شیء (object files) ایجاد شده با تابع PolyML.export با کتابخانه‌های Poly/ML، یا برای تولید یک فایل شیء استفاده شود. هنگامی که برای کامپایل یک برنامه Standard ML به کار می‌رود، انتظار دارد که تابع اصلی "main" نامیده شود؛ برای مثال:
fun main() = print "Hello World\\n";

اگر فایل مبدا یک فایل متنی باشد، کد منبع ML فرض می‌شود. اگر یک فایل باینری باشد، به عنوان فایل شیء در نظر گرفته شده و با کتابخانه Poly/ML پیوند داده خواهد شد.
.SH "گزینه‌ها (OPTIONS)"
.B \-c ""
کامپایل بدون پیوند دادن. فایل شیء در فایلی نوشته می‌شود که نام آن بر اساس نام فایل مبدا بوده و هر پسوندی با .o جایگزین می‌شود.
.TP
.BI \-o " output"
نوشتن فایل اجرایی در "output".
.TP
.BI \--help ""
نمایش فهرستی از آرگومان‌ها و خروج.
.fi
.SH "همچنین ببینید (SEE ALSO)"
.PP
.B http://www.polyml.org
وبگاه Poly/ML.