Seky17

cygwinにおいてcmakeでのビルドをトライしていたところ上記のようなエラーが出た。このエラーの内容が、macOSでのビルドでtarget_link_libraries()からbp4prism-darwin.aを試しに抜いた場合と類似であることから、bp4prism-cygwin.aに問題が有る可能性が有る。

エラーでundefined reference となっているものがbp4prism-cygwin.aで適切に定義されているか、確認していただきたいです。

bp4prism-cygwin.a をローカルCygwin環境でビルドし直したところ、prism_up_cygwin.exe のビルドに成功した。 しかし、prismコマンドを実行したところ、 `Segmentation fault（コアダンプ）` となった。

1. gdbするために`bp4prism-cygwin.a`と`prism_up_cygwin.exe`を-gコンパイルオプションを付けてビルドした。 2. prismコマンドを実行してcoreファイルを吐かせ、それをgdbに食わせようとしたが `Unexpected size of section .reg/14356 in core file.` 等のエラーが出て進行出来ず、これを解決出来なかった。 3. そこで、gdb内でrunすることにした。prismスクリプトを参考に引数を与えた。 `$ gdb prism_up_cygwin.exe` 結果です。↓ ``` (gdb) run -p 8000000 -s 5000000 -b 2000000 -t 10000000...

上記`run`後に`backtrace`した結果↓ ``` (gdb) backtrace #0 insert (name=name@entry=0x1005ac4ce "[]", length=length@entry=2, arity=arity@entry=0) at loader.c:1109 #1 0x0000000100473b04 in init_sym () at init_sym.c:12 #2 0x00000001004727a5 in init_toam (argc=argc@entry=13, argv=argv@entry=0xffffcb20) at init.c:175 #3 0x00000001004b6a13 in...

``` $ protoc --version libprotoc 3.5.1 ``` です。

ubuntuでの出力テキストの抜粋 ``` PRISM 2.3, (C) Sato Lab, Tokyo Institute of Technology, August, 2017 B-Prolog Version 7.8b1, All rights reserved, (C) Afany Software 1994-2012. This edition of B-Prolog is for evaluation,...

macOSでの出力テキストの抜粋 ``` B-Prolog Version 7.8b1, All rights reserved, (C) Afany Software 1994-2012. This edition of B-Prolog is for evaluation, learning, and non-profit research purposes only, and a license is needed...

bp4prism-linux.a と bp4prism-darwin.a との差異に起因している可能性が有る。

すみません。macOSで `/src/prolog` での `make`/`make install ` を実行するのを忘れてしまっていました。docker版だとイメージ作成時にそこは勝手に行われて`/src/c`での作業のみしていたので、その流れで忘れてしまっていたようです。お騒がせしました。