| 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)
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 .
| February 2016 | ppl-config 1.2 |