c - APRON の例をコンパイルするには?

Question

APRONの操作方法を理解しようとしています。

最初に考え たのは、上記のリンクの「ドキュメント」セクションにあるC の例をコンパイルすることです。

誰か助けてくれませんか？例をコンパイルする方法を理解できませんでした

どんな助けでも大歓迎です！

Answer 1

ライブラリの残りのソースコードが必要です。これは、そのページの下部にリンクされています。つまり、http：//apron.cri.ensmp.fr/library/apron-0.9.9.tgzです。