swip-ld - 클라우드 온라인

프로그램:

이름

swipl-ld - SWI-Prolog 임베디드 실행 파일 생성

개요

swipl-ld 옵션 c-파일 o-파일 PL 파일

기술

유틸리티 swipl-ld C-컴파일러와 링커가 독립 실행형을 생성하기 위한 프런트 엔드입니다.
일련의 C/C++ 및 Prolog 입력 파일에서 실행 가능합니다. 에서 정보를 추출합니다.
SWI-프롤로그 실행 가능 스위플, 그런 다음 인수를 스캔하고 인수를 분할합니다.
여러 범주. 그런 다음 C-컴파일러를 호출하여 다음을 포함하는 실행 파일을 생성합니다.
사용자의 C 코드 및 SWI-Prolog 커널. 그 후 개발을 호출합니다.
프롤로그 파일에서 프롤로그 저장 상태를 생성하고 마지막으로
상태를 에뮬레이터에 연결하여 대상 실행 파일을 만듭니다. 또한보십시오
qsave_program/2 인사말 SWI- 프롤로그 수동.

옵션
-pl 프롤로그
사용할 프롤로그 버전을 지정합니다. 기본값은 swip. 이 플래그를 사용할 수 있습니다.
시스템에 설치된 다른 버전 중에서 선택하거나
수정된 버전. 수정된 버전은 플래그를 이해해야 합니다. -덤프 런타임-
변수 -f 파일 -F 파일 -g 골 -t 최상위.

-도움 옵션을 간략하게 표시

-노트
커널을 다시 연결하기만 하면 됩니다. 새로 연결된 커널은 존재하는 경우에만 작동할 수 있습니다.
개발 시스템의. 제공된 모든 프롤로그 소스 파일은 무시되며
옵션들 -목표 -최상위 -initfile. 클래스 부착하는 것이 선호되는 방식입니다.
시스템에서 동적 로딩이 지원되지 않는 경우 Prolog에 대한 외부 모듈.

-c C 또는 C++ 소스 파일을 개체 파일로 컴파일합니다. 이것은 swipl-ld 에
위치와 같은 적절한 옵션이 있는 C 또는 C++ 컴파일러를 대체합니다.
포함 디렉토리는 컴파일러에 자동으로 전달됩니다.

-E C 전처리기를 호출합니다. 만드는 데 사용 swipl-ld C 또는 C++의 대체
컴파일러.

-공유
C, C++ 또는 개체 파일을 로드할 수 있는 공유 개체(DLL)에 연결
load_foreign_library/1 술부. 함께 사용하는 경우 -c 적절한 옵션을 다음으로 설정합니다.
공유 객체에 연결할 준비가 된 C 또는 C++ 파일을 컴파일합니다.

-내장 공유
실행 파일이 아닌 DLL/공유 개체에 SWI-Prolog를 포함합니다. 참조
자세한 내용은 참조 설명서.

-dll Windows 만 과 동일 -내장 공유 하위 호환성.

-F 기지
기본적으로, 없음 swipl 명령에 전달되어 저장된 상태를 생성합니다. 사용
-F xpce 로드를 지정할 수 있습니다 xpce.rc, 저장된 상태에서 XPCE를 사용할 수 있도록 합니다.

-목표 골
다음을 사용하여 최상위 수준이 시작될 때 처음 실행되는 목표
PL_최상위(). 에이 디폴트. -g 새 실행 파일에 대한 플래그입니다.

-최상위 골
기본 최상위 목표로 실행되는 목표입니다. 에이 디폴트. -t 플래그
새 실행 파일의 경우.

-초기화 파일 파일
최상위에서 로드되는 파일입니다. 에이 디폴트. -f 새로운 것을 위한 깃발
실행 파일.

클래스 {런타임,커널,개발}
생성된 Prolog 저장된 상태의 저장 클래스를 설정합니다. 만약에 런타임
(기본값), 결과 시스템은 모든 인수의 해석을
애플리케이션. 만약에 커널 추적 프로그램에 대해 모든 술어가 잠깁니다. 마지막으로 만약
개발 상태는 '있는 그대로' 저장되고 결과 시스템은 옵션을 처리합니다.
기본 SWI-Prolog 실행 파일이 하는 것처럼. 또한보십시오 qsave_program/2 인간을 SWI-
프롤로그 참고 조작.

-v 자세한 작업. 명령을 실행하기 전에 에코합니다. 일부
명령은 셸 명령으로 인쇄되지만 실제로는 swipl-ld 자체에 의해 실행됩니다.
Win32 플랫폼과의 호환성을 위해.

-f 가짜 조작. 함께 -v 실행해야 하는 명령을 인쇄합니다.
실제로 아무것도 하지 않고.

-E구성 요소 ...
첫 번째 옵션인 경우 -E, 모든 후속 옵션이 추가되어
SWI-Prolog에서 선택한 프로그램이 실행하도록 구성됨 CPP.

-o 파일
최종 실행 파일의 이름을 지정합니다. 기본값은 아웃.

-cc C 컴파일러
사용할 컴파일러 지정 *.씨 파일. 기본값은 컴파일에 사용되는 컴파일러입니다.
기능에서 읽은 SWI-Prolog 자체 c_cc.

-C++ C++ 컴파일러
C++ 입력 파일에 사용할 컴파일러를 지정합니다. C 컴파일러라면 GCC 이쪽은
g++, 그렇지 않으면 C ++ 가정합니다.

-ld 링크
사용할 링커를 지정합니다. 기본값은 C 컴파일러입니다. Win32 플랫폼에서는
기본값은 링크.exe.

-l도서관
응용 프로그램을 연결하기 위한 C-라이브러리를 지정합니다. 기본적으로, -lswipl 만큼 잘
SWI-Prolog 커널에 필요한 라이브러리는 C-컴파일러로 전달됩니다.

-L라이브러리 디렉토리
C 컴파일러에 대한 추가 라이브러리 디렉토리를 지정합니다. 기본적으로
현재 아키텍처에 대한 런타임 디렉토리가 전달됩니다.

-g|-I*|-D*|-U*|-O*|-W*
컴파일러에 c-플래그로 전달됩니다. 기본적으로 SWI-Prolog 포함 디렉토리는 다음과 같습니다.
추가 포함 디렉터리로 전달됩니다. 다음 -D 플래그는 swipl-에 의해 추가됩니다.
ld: -D__SWI_PROLOG__ 및 -D__SWI_EMBEDDED__.

-pl 옵션*
추가 옵션 지정 swip. 이어지는 첫 번째 캐릭터 -pl 옵션
옵션 구분 기호를 결정합니다. 나머지 인수는 다음을 사용하여 분할됩니다.
구분 기호 및 부품이 Prolog의 옵션 목록에 추가됩니다. 또한보십시오 -cc-
옵션 그리고 -ld 옵션

-ld 옵션*
링커에 전달되는 추가 옵션입니다. 예를 들어: -ld-옵션,-Bstatic

-cc 옵션*
C 및 C++ 컴파일러 모두에 전달되는 추가 옵션입니다.

*.영형 링커에 입력 파일로 전달됩니다.

*.씨 C-컴파일러를 사용하여 컴파일한 후 오브젝트 파일이 링커로 전달됩니다.
개체 파일은 정리 시 삭제됩니다.

*.cc|*.C|*.cxx|*.cpp
C++ 컴파일러를 사용하여 컴파일한 후 개체 파일이
링커. 개체 파일은 정리 시 삭제됩니다.

*.pl|*.qlf
프롤로그 입력 파일로 전달됨

onworks.net 서비스를 사용하여 온라인에서 swip-ld 사용