ppl-config - Trực tuyến trên Đám mây

CHƯƠNG TRÌNH:

TÊN

ppl-config - lấy thông tin về việc cài đặt Thư viện Polyhedra Parma

SYNOPSIS

cấu hình ppl [TÙY CHỌN] ...

MÔ TẢ

Hiển thị thông tin, ở các định dạng khác nhau, về việc lắp đặt Khối đa diện Parma
Thư viện.

LỰA CHỌN

-h, --Cứu giúp
in văn bản trợ giúp này sang stdout

-FFMT, --định dạng=FMT
đặt định dạng đầu ra thành FMT (một trong các định dạng `` trơn '', `` makefile '', `sh 'hoặc` csh')

-IINT, --giao diện=INT
chọn giao diện thư viện (một trong các `` C ++ '', `C ',` Ciao-Prolog', `GNU-Prolog ',
`SICStus-Prolog ',` SWI-Prolog', `XSB-Prolog ',` YAP-Prolog', `OCaml 'hoặc` Java')

-A, --ứng dụng
chọn đầu ra để xây dựng một ứng dụng

-L, --thư viện
chọn đầu ra để xây dựng thư viện

-p [PFX], --tiếp đầu ngữ[=PFX]
in hoặc đặt thông tin tiền tố thư viện

-e [PFX], tiền tố --exec[=PFX]
in hoặc đặt thông tin tiền tố thực thi thư viện

-O, --configure-options
in các tùy chọn cấu hình

-V, --phiên bản
in thông tin phiên bản

-M, --version-chính
phiên bản in số chính

-N, --version-nhỏ
phiên bản in số nhỏ

-R, - phiên bản-sửa đổi
in số phiên bản sửa đổi

-B, - phiên bản beta
in số phiên bản beta

-E, --ngọn cờ
in biểu ngữ thư viện

-n, - hiệu quả
in loại hệ số thư viện

-i, --bao gồm
bản in bao gồm thư mục tệp

-b, --bindir
in thư mục tệp thực thi nhị phân

-l, --libdir
in thư mục tệp thư viện

-P, --cppflags
in cờ bộ xử lý trước

-C, --cflags
in cờ trình biên dịch C

-X, --cxxflags
in cờ trình biên dịch C ++

-D, --ldflags
in cờ trình liên kết

-g, --giấy phép
in thông tin cấp phép tổng hợp

-c, --pying
in thông tin cấp phép chi tiết

-u, --lỗi
in thông tin báo cáo lỗi

-r, --tín dụng
in các khoản tín dụng

KHẢ DỤNG

Phiên bản mới nhất của Thư viện Polyhedra Parma và tất cả các tài liệu đều có sẵn
at http://bugseng.com/products/ppl/.

Sử dụng ppl-config trực tuyến bằng các dịch vụ onworks.net