2

当我在 .../build/ 中执行“pintos -- run alarm-multiple”时，一切似乎都很好。

但是当我在 .../build/ 中进行“检查”时，所有 7 个测试都以相同的“运行未正确启动：没有“pintos 启动”消息失败

pintos -v -k -T 60 --bochs -- -q run alarm-single < /dev/null 2> tests/threads/alarm-single.errors > tests/threads/alarm-single.output perl -I../.. ../../tests/threads/alarm-single.ck tests/threads/alarm-single tests/threads/alarm-single.result FAIL tests/threads/alarm-single Run didn't start up properly: no "Pintos booting" message

然后我在 .../build 中发现了“pintos -v -k -T 60 --bochs -- -q run alarm-single”它给出了一个

Bochs 退出并显示以下消息：[ ] bochsrc.txt:12: display library 'nogui' not available

如果我去掉“-v”就可以了。

如何修复此显示库“nogui”不可用

4

3 回答 3

1

似乎没有人回答我……我自己终于明白了。只需要更改 bochs 的配置： ./configer --with-nogui 然后再次编译：

制作

须藤使安装

之后 pintos 的 make 检查将起作用。

于 2013-03-17T08:58:07.173 回答
1

我有同样的问题，我解决了。打开“/pintos/src/tests/Make.tests”编辑第54行（删除-v）

TESTCMD = pintos -v -k -T $(TIMEOUT)

然后，在“/threads/build”你可以做

make check
于 2013-03-28T01:34:07.307 回答
0

请记住，当您使用 Ubuntu 14.04 或 16.04 时，当您从 Github 下载原始 pintos 项目或任何 pintos 项目时，永远不要忘记做这些事情。

(Any line with no parentheses are terminal commands)
cd ~
gedit .bashrc

(add next line to the final of the file)
{export PATH="$PATH:/home/{username}/pintos/src/utils"}

(save)
bash

cd ~/pintos/src/utils
gedit Makefile
(You need to change one line)
{change LDFLAGS = -lm to LDLIBS = -lm}
(save)
make

然后你可以编译并运行 pintos 的“make check”，没有错误。

（任何 ~/pintos 都应更改为您的 pintos 路径）

记住 ~/pintos/src/utils 中的 final make 非常重要。否则，您将收到“运行未正确启动：没有“Pintos 启动”消息”。

你可以在这里查看完整版。http://www.luosheng-parallelbgls.com.cn/2016/03/29/pintos-install/ 因为这是中文版，希望能翻译成英文的人。

于 2017-04-25T08:37:41.683 回答