Merge remote-tracking branch 'upstream/master' into update_from_upstream

This commit is contained in:
nadeemyaseen-rs 2021-12-02 00:00:22 +05:00
commit 4f38c0409b
2 changed files with 6 additions and 0 deletions

View File

@ -227,6 +227,10 @@ include(CheckCCompilerFlag)
include(CheckCXXCompilerFlag) include(CheckCXXCompilerFlag)
# #
# we will check if yosys already exist. if not then build it
if(EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/yosys/install/bin/yosys)
message(STATUS "Yosys pre-build exist so skipping it")
else ()
# run makefile provided, we pass-on the options to the local make file # run makefile provided, we pass-on the options to the local make file
add_custom_target( add_custom_target(
yosys ALL yosys ALL
@ -248,6 +252,7 @@ add_custom_target(
) )
add_dependencies(yosys-plugins yosys) add_dependencies(yosys-plugins yosys)
endif()
# run make to extract compiler options, linker options and list of source files # run make to extract compiler options, linker options and list of source files
#add_custom_target( #add_custom_target(

View File

@ -4,6 +4,7 @@
#include <cassert> #include <cassert>
#include <string> #include <string>
#include <set> #include <set>
#include <limits>
#include "argparse.hpp" #include "argparse.hpp"
#include "argparse_util.hpp" #include "argparse_util.hpp"