Ai
1 Star 0 Fork 0

tzleon/z3

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
克隆/下载
configure 418 Bytes
一键复制 编辑 原始数据 按行查看 历史
Nuno Lopes 提交于 2020-05-17 03:07 +08:00 . restore exec bit on configure & scripts/*.sh
#!/bin/sh
if test -z $PYTHON; then
PYTHON=python
fi
if ! which $PYTHON > /dev/null; then
echo "'$PYTHON' not found. Try to set the environment variable PYTHON."
exit 1
fi
if ! $PYTHON -c "print('testing')" > /dev/null ; then
echo "'$PYTHON' failed to execute basic test script. Try to set the environment variable PYTHON with a working Python interpreter."
exit 1
fi
$PYTHON scripts/mk_make.py "$@"
Loading...
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
C
1
https://gitee.com/tzleo/z3.git
git@gitee.com:tzleo/z3.git
tzleo
z3
z3
master

搜索帮助