PPL-CONFIG(1)                    User Commands                   PPL-CONFIG(1)

نام (NAME)
       ppl-config - دریافت اطلاعات درباره نصب کتابخانه چندوجهی پارما (Parma
       Polyhedra Library)

خلاصه دستور (SYNOPSIS)
       ppl-config [گزینه]...

توضیحات (DESCRIPTION)
       اطلاعات مربوط به نصب کتابخانه چندوجهی پارما (Parma Polyhedra Library)
       را در قالب‌های مختلف نمایش می‌دهد.

گزینه‌ها (OPTIONS)
       -h, --help
              این متن راهنما را در خروجی استاندارد چاپ می‌کند

       -FFMT, --format=FMT
              قالب خروجی را روی FMT تنظیم می‌کند (یکی از مقادیر `plain`،
              `makefile`، `sh` یا `csh`)

       -IINT, --interface=INT
              رابط کتابخانه را انتخاب می‌کند (یکی از موارد `C++`، `C`،
              `Ciao-Prolog`، `GNU-Prolog`، `SICStus-Prolog`، `SWI-Prolog`،
              `XSB-Prolog`، `YAP-Prolog`، `OCaml` یا `Java`)

       -A, --application
              خروجی را برای ساخت یک برنامه انتخاب می‌کند

       -L, --library
              خروجی را برای ساخت یک کتابخانه انتخاب می‌کند

       -p[PFX], --prefix[=PFX]
              اطلاعات پیشوند (prefix) کتابخانه را چاپ یا تنظیم می‌کند

       -e[PFX], --exec-prefix[=PFX]
              اطلاعات پیشوند اجرایی (exec-prefix) کتابخانه را چاپ یا تنظیم
              می‌کند

       -O, --configure-options
              گزینه‌های پیکربندی را چاپ می‌کند

       -V, --version
              اطلاعات نسخه را چاپ می‌کند

       -M, --version-major
              شماره اصلی نسخه (major) را چاپ می‌کند

       -N, --version-minor
              شماره فرعی نسخه (minor) را چاپ می‌کند

       -R, --version-revision
              شماره بازنگری نسخه (revision) را چاپ می‌کند

       -B, --version-beta
              شماره بتای نسخه را چاپ می‌کند

       -E, --banner
              بنر معرفی کتابخانه را چاپ می‌کند

       -n, --coefficients
              نوع ضرایب کتابخانه را چاپ می‌کند

       -i, --includedir
              دایرکتوری فایل‌های سرآیند (include) را چاپ می‌کند

       -b, --bindir
              دایرکتوری فایل‌های اجرایی باینری را چاپ می‌کند

       -l, --libdir
              دایرکتوری فایل‌های کتابخانه را چاپ می‌کند

       -P, --cppflags
              فلگ‌های پیش‌پردازنده را چاپ می‌کند

       -C, --cflags
              فلگ‌های کامپایلر C را چاپ می‌کند

       -X, --cxxflags
              فلگ‌های کامپایلر C++ را چاپ می‌کند

       -D, --ldflags
              فلگ‌های پیونددهنده (linker) را چاپ می‌کند

       -g, --license
              اطلاعات مختصر مجوز را چاپ می‌کند

       -c, --copying
              اطلاعات تفصیلی مجوز را چاپ می‌کند

       -u, --bugs
              اطلاعات گزارش باگ را چاپ می‌کند

       -r, --credits
              اطلاعات مشارکت‌کنندگان را چاپ می‌کند

در دسترس بودن (AVAILABILITY)
       تازه‌ترین نسخه از کتابخانه چندوجهی پارما و تمامی مستندات در نشانی
       http://bugseng.com/products/ppl در دسترس است.

نویسندگان (AUTHORS)
       برای مشاهده فهرست مشارکت‌کنندگان پرونده CREDITS را در توزیع مبدأ ببینید
       یا دستور ppl-config --credits را اجرا کنید.

گزارش باگ‌ها (REPORTING BUGS)
       گزارش باگ‌ها را به <ppl-devel@cs.unipr.it> ارسال کنید.

حق نشر و سلب مسئولیت (COPYRIGHT AND NO WARRANTY)
       حق نشر © ۲۰۰۱-۲۰۱۰ Roberto Bagnara <bagnara@cs.unipr.it>
       حق نشر © ۲۰۱۰-۲۰۱۶ BUGSENG srl (http://bugseng.com)
       این نرم‌افزار آزاد است؛ برای شرایط تکثیر، پرونده COPYING را در توزیع
       مبدأ ببینید یا از دستور ppl-config --copying برای دریافت شرایط
       نسخه‌برداری استفاده کنید. هیچ‌گونه ضمانتی وجود ندارد؛ حتی برای قابلیت
       فروش یا مناسب بودن برای یک هدف خاص.

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

       libppl_c(3)

       Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.  The Parma
       Polyhedra Library User's Manual (version 1.2), در دسترس (در چندین قالب)
       در http://bugseng.com/products/ppl .

       Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.  The Parma
       Polyhedra Library C Language Interface User's Manual (version 1.2), در
       دسترس (در چندین قالب) در http://bugseng.com/products/ppl .

       Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.  The Parma
       Polyhedra Library Java Language Interface User's Manual (version 1.2),
       در دسترس (در چندین قالب) در http://bugseng.com/products/ppl .

       Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.  The Parma
       Polyhedra Library OCaml Language Interface User's Manual (version 1.2),
       در دسترس (در چندین قالب) در http://bugseng.com/products/ppl .

       Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.  The Parma
       Polyhedra Library Prolog Language Interface User's Manual (version
       1.2), در دسترس (در چندین قالب) در http://bugseng.com/products/ppl .

ppl-config 1.2                   February 2016                   PPL-CONFIG(1)