mirror of https://github.com/YosysHQ/yosys.git
Fix version number and git origin
This commit is contained in:
parent
a9446d7389
commit
7d40a0b667
|
|
@ -107,7 +107,7 @@ function(yosys_extract_version)
|
|||
# Build YOSYS_ORIGIN_INFO (git repository origin and branch)
|
||||
if (git_origin AND git_branch)
|
||||
string(REGEX REPLACE "^https://|.git$" "" git_origin ${git_origin})
|
||||
if (git_origin STREQUAL "github.com/YosysHQ/yosys" AND git_branch MATCHES "^HEAD|main|release/v.+$")
|
||||
if (git_origin MATCHES "github\\.com[:/]YosysHQ/yosys$" AND git_branch MATCHES "^HEAD|main|release/v.+$")
|
||||
# Nothing to highlight.
|
||||
set(YOSYS_ORIGIN_INFO "")
|
||||
else()
|
||||
|
|
|
|||
|
|
@ -1,2 +1,2 @@
|
|||
set(YOSYS_VERSION_MAJOR 0)
|
||||
set(YOSYS_VERSION_MINOR 64)
|
||||
set(YOSYS_VERSION_MINOR 66)
|
||||
|
|
|
|||
Loading…
Reference in New Issue