Ключи компилятора

Материал из wikiru.visual-prolog.com

Версия от 09:54, 31 октября 2007; SergeMukhin (обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Usage: VIP7Compiler [options] [files] [@commandfile]

 options:
   /Check: {ALL|ON|RANge|NOne|OFF|INTegraloverflow|VARiable|STAck|FACts}
   /NOCheck
   /Warnings: {ASError|ASWarning|NOthing|warning_name [+,-,*]}
   /MAXErrors: <N>                   default 20
   /MAXWarnigs: <N>                default 100
   /DEBug: {NONE|LINENO|FULL}
   /NODEBug
   /Help                                    print this help message
   /VERsion                               print copyright message
   /Listing: ALL,NOne,MIN,Include,PHAses,UNICode,STATistics,MEssage,Requires
   /NOListing
   /Include: <dir>                       add to include search path
   /Goal: {PROC|DETerm}
   /Optimize: {ALL|None|FINal}
   /WEAKTypecheck: {ON|OFF}  make type checks weaker (default OFF)
   /OBjectdir: <dir>
   /LISTINGFile: <file>
   /DEBUGDir: <dir>


Содержание

Ключи для максимальной оптимизации по скорости

Для компилятора:

/NOCHECK /NODEBUG /OPT:ALL /OPT:TERM+

Для линкера: не использовать /d

Ключи для максимальной проверки

Для компилятора:

/CHECK:ALL /CHECK:STACK /DEBUG:FULL

Для линкера: /d

Коды завершения компилятора

код причина
0 компиляция завершена успешно
1 обнаружены ошибки в программе во время компиляции
2 обнаружены серьёзные ошибки, во время компиляции или обработке опций, программный сбой

Скрытые опции

Компилятор имеет несколько опций, которые не описаны и их использование пользователям не рекомендуется.

/VDELISTING:<файл> - вывод информации для дальнейшей обработке в IDE

/COFFEXTension:{ON|OFF} - для поддержки

/READONLYTERM - генерации копирования константных термов в "кучу", нужна при компиляции, когда строится DLL.

/PROFILE:{ON|OFF} - включение профилирование программы.

/SYNTAXONLY

/PRO2C

/OPT: TLSVALUES

/OPT: BACKTRACKING

/DIAGNOSTIC:TIME- вывод времени выполнения фаз компилятора

/DIAG:CSVTIME - вывод времени выполнения фаз компилятора в формате .csv

/DIAG:LOG+ - вывод многочисленной, и никому не нужной, кроме разработчиков компилятора, информации

/DIAG:MEMORY

/DIAG:NEWFEATURE

Устаревшие опции

Следующие опции компилятор пока ещё поддерживает:

/WEAKTypecheck

/OBJECTFILE - надо использовать /OBJECTDIR

/DEBUGFILE - надо использовать /DEBUGDIR