问答文章1 问答文章501 问答文章1001 问答文章1501 问答文章2001 问答文章2501 问答文章3001 问答文章3501 问答文章4001 问答文章4501 问答文章5001 问答文章5501 问答文章6001 问答文章6501 问答文章7001 问答文章7501 问答文章8001 问答文章8501 问答文章9001 问答文章9501

linux下如何查看make的版本, 即$(MAKE_VERSION)?

发布网友 发布时间:2022-04-28 14:15

我来回答

3个回答

热心网友 时间:2022-06-19 01:45

如果是在 shell 中查看,那么直接 make -v 即可。

如果是在 makefile 中获取,则用 $(MAKE_VERSION), 比如下面的makefile

.PHONY: all
all:
echo "VERSION is $(MAKE_VERSION)"

然后在包含此makefile的目录下 make,就会看到相应的打印了。

注意, MAKE_VERSION 是 makefile 中的一个自带变量,不是shell环境变量,所以不能在 shell 下直接 用 $MAKE_VERSION追问谢谢,那么Makefile中的$(KERNEL_VERSION)呢?又是怎样一回事?

追答应该是makefile中自己定义的变量。你看一下你的 makefile,应该包含有一条类似于

KERNEL_VERSION=xxx
的东西 (或者是在被这个makefile include 的其他makefile 中有)

热心网友 时间:2022-06-19 01:45

make --version | head -n1追问十分感谢, 在Makefile中, 有调用到$(MAKE_VERSION)但是找不到。
那么, 命令行输入echo $MAKE_VERSION为什么找不到呢?
$(KERNEL_VERSION)也找不到。

追答读一下README或者INSTALL,一般会有提示,可能你要安装的软件依赖什么软件包没有安装。

热心网友 时间:2022-06-19 01:46

make -v这条命令追问十分感谢, 在Makefile中, 有调用到$(MAKE_VERSION)但是找不到。
那么, 命令行输入echo $MAKE_VERSION为什么找不到呢?
$(KERNEL_VERSION)也找不到。

追答echo 必须是环境变量才行。这个不是系统的环境变量,而是make的内部变量,跟cc这样个性质差不多。

声明声明:本网页内容为用户发布,旨在传播知识,不代表本网认同其观点,若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。E-MAIL:11247931@qq.com
狐外婆是什么意思? ...都流,有几年了,吃香蕉水果时也流,到底什么原因啊,维生素c也补了也没... 我的牙龈经常出血,刷牙出得最凶,有时候吃香蕉都会出血,请问是什么原 ... 如何通过社交软件添加好友? 过年送礼送购物卡合适吗? 林上的UV能量测试仪的自动和手动模式有什么区别啊?什么情况下用的... 什么是建设银行金卡 建行信用金卡有什么好处 紫外测试仪UV能量计常见问题解答 020028什么卡 枪打的耳钉1天取下来了又戴上了会不会有事 搜狗搜索里的问题为什么那么难注册啊?我弄了半天都无法注册,是在有意不让别人注册提问回答吗? 取下耳钉后可不可以直接戴耳环?我要最准确的,比如:可以! 新打的耳洞因为发炎就把耳钉取下来换上了耳棒但耳棒有点小,请问耳钉用碘伏消完毒可以再带上吗? 打耳洞不到一天就把打耳洞时用的耳钉拿下来,然后想带上去结果穿不进去 linux rocketmq 查看有没有期待 昨天我去穿耳,回家后把耳钉取下来,又戴回去,又戴不进去,然后出血了,今天可以再穿吗? 用百度和用搜狗搜索有什么区别,哪个更好 刚打的耳钉取下来放在双氧水中变黑了直接带上没有清洗耳朵会感染吗? 上周日打的耳洞,现在周五晚上把耳钉取下来,一个晚上不戴,明天再去买新耳钉带上,耳洞会不会封住 如图所示:在某些方面,搜狗搜索是搜狗提问吗? 刚打耳洞打完以后就拿下来那耳洞还可以带耳钉?? 我今天刚打耳洞,可以吧耳钉取下来消毒,再穿上去吗? 耳洞刚打好,把耳钉拿下来,耳洞会不会堵上, 耳钉取下隔几小时在带上会不会堵起来 刚刚打的耳洞耳钉取了又带取了又带,会有什么问题吗? premierepro所有快捷键 急急急如何premiere里快速删除波纹删除?或是如何有快速方法把N个片段连接起来? 用pr剪辑的时候 有没有什么快捷键 可以一键删除多个片段间的间隙 像ed... Premiere波纹删除快捷键是哪个? 你们都是用百度搜索还是用搜狗搜索的?这两个搜索哪个比较好? 刚刚打的耳钉一天左右,家里人不给戴,可以摘下来吗, 耳洞打好了马上拿掉耳钉,耳洞会合拢吗 前几天刚打耳洞,摘下耳钉耳洞流血了,怎么办?还能不能戴耳钉? 搜狗搜索引擎为什么不能用了? 刚打一周,把耳钉拿出来了~几天不戴会不会没掉? 搜狗搜索和百度搜索哪个比较精准些?谢谢 下面写法是css正确语法结构的是 打耳洞第三天了,发炎肿了,可以把耳钉摘下来消毒后再带上吗? 搜狗搜索和百度搜索哪个好? 任务栏突然出现搜狗搜索栏,要如何去掉? 月经不调挂什么科? 月经不调要去看什么科? 医生:月经不调,应该看什么科 12岁来月经不规律看什么科?12岁月经不规律需要调理吗? 大姨妈不正常看哪个科 月经量少挂什么科 无为县医院月经不正常挂什么科 问:经常浑身没力气,爬楼梯到三楼就喘,月经不调,看中医什么科好? 我每次月经痛得不行,女性月经不调怎么办?