使用 cygwin 在 Windows 上设置 CUDD 2.5.1答案

【问题标题】：Setting up CUDD 2.5.1 on Windows using cygwin使用 cygwin 在 Windows 上设置 CUDD 2.5.1
【发布时间】：2015-08-28 15:34:41
【问题描述】：

我在命令提示符下使用 cygwin 设置 CUDD 2.5.1 时收到以下消息： sh ./setup.sh 制作：sh：找不到命令 Makefile：224：目标“构建”的配方失败 make *** [build] 错误 127

我已将 CUDD nad cygwin 的两个目录都保存在 C:/(windows 7, 64-bit) 中。

这是 Makefile 的构建部分：建造： sh ./setup.sh @+for $(DIRS) 中的目录；做 \ (cd $$目录;\ echo 制作 $$dir ...; \ 使 CC=$(CC) RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS ="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" )\ 完成

我该怎么办？

【问题讨论】：

你在cygwin中安装了bash吗？
是的，我已经在 cygwin 中安装了 bash。 cygwin 控制台也在运行，但我遇到了 cudd 的问题。我已按照本网站technical-recipes.com/2011/… 中给出的步骤进行操作。我已将“make”和其他文件从 cygwin bin 文件夹复制到 cudd 文件夹中。可以吗？
@Stanton，请提前帮助...thnx..

标签： cygwin cudd

【解决方案1】：

您是否尝试过安装 CUDD 以使安装目录的路径名不包含空格？

【讨论】：

我查看了您在上面的一个 cmets 中链接的博客文章。它似乎没有提到对 PATH 变量的任何更改。然而，为了运行 cygwin 命令，该帖子的作者可能将 C:\cywin64\usr\bin 添加到了他的 PATH 中。您说您将make 和其他文件复制到构建目录，但更改 PATH 可能更好。您已经安装了bash（可能还有dash）这一事实并不意味着cmd.exe 会找到它们。
感谢更新先生，但我仍然有点困惑，是否有一些网页介绍了此设置的详细信息？
我不知道有这样的页面，但是有一些页面通常使用 MSVC 编译 cygwin 项目。当您在尝试构建 CUDD 的文件夹中的 cmd.exe 窗口中键入 where sh 时会发生什么？如果它说“信息：找不到给定模式的文件”，这是一个重要的线索。下一步是找出系统上 cygwin 的 sh.exe 的 Windows 路径名，并相应地修改 PATH。像
继续前面的评论。像set PATH=%PATH%;C:\cygwin\bin 这样的东西。 CUDD 2.5.1 只能使用 MSVC 在 32 位模式下编译。在之前的评论中，我使用了 64 位路径名，但我目前正在使用可以在 64 位模式下编译的尚未发布的版本。