gcc版本与progol软件不兼容

Question

我使用的是名为proGol的ILP系统，它不再是最先进的技术;尽管编码的语法类似于prolog，但progol实现已经在C语言中。但是，我可以在gcc版本为3.4.3的旧机器上运行它。这样的机器很老，我需要在4.6.3上使用gcc版本的新服务器上运行我的代码。当我这样做时，软件输出分段错误。我认为问题是gcc版本不兼容，progol本身可能只能在32位处理器上运行。有谁知道如何将gcc版本的机器调整为旧版本？

Answer 1

我知道这是一个古老的问题，但是我最近不得不处理同样的错误，因此我在这里寻找答案，因为这是当有人寻找“ progol分割错误”时的第一个Google搜索结果。

使用gcc-4.8编译progol对我有用。我只是简单地通过“ gcc-4.8”更改了Makefile中的gcc别名。

我希望这可以帮助某人。