diff options
author | 2018-01-04 11:31:03 +0100 | |
---|---|---|
committer | 2018-01-04 11:31:03 +0100 | |
commit | 42cd0f2e981a53faf45d0eb45a419b5e570afb5c (patch) | |
tree | fb7e9806f33f81831cbc6d05af19334f9073e4f2 /conf.d/cmake/00-debian-specific.cmake | |
parent | 4f1c7e68e5c73f6dcb54b6495b9e3de8456f0376 (diff) |
Remove lua dependency and rename to high-viwi
And upgrade submodules
Change-Id: I19dd52da56280afa0725f0a9a96efb20ad02812e
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'conf.d/cmake/00-debian-specific.cmake')
-rw-r--r-- | conf.d/cmake/00-debian-specific.cmake | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/conf.d/cmake/00-debian-specific.cmake b/conf.d/cmake/00-debian-specific.cmake deleted file mode 100644 index dbdcdca..0000000 --- a/conf.d/cmake/00-debian-specific.cmake +++ /dev/null @@ -1,3 +0,0 @@ -list(APPEND PKG_REQUIRED_LIST lua-5.3>=5.3) -set (EXTRA_REQUIRED_LIST lua5.3) -set(LUA_CHECKER "luac5.3" "-p" CACHE STRING "LUA compiler") |