opamでcoqをインストールしようとすると以下のようなエラーになった。 $ opam --version 2.0.5 $ opam list # Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base camlp5 7.10 Preprocessor-…

LDCのバグで困っている、というので調査をしてみた。 調べてみると、どうもこれはLDCで実行バイナリを生成する場合(より正確にはmain関数を定義している場合)のみ行われるcopy-relocation checkのために必要とされるようだ。 なんでcopy-relocation checkが…