Merge pull request #477 from shuffle2/patch-1

diamond: fix include paths
This commit is contained in:
enjoy-digital 2020-04-27 21:07:27 +02:00 committed by GitHub
commit 05815c4ecc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -68,8 +68,8 @@ def _build_tcl(device, sources, vincpaths, build_name):
]))
# Add include paths
for path in vincpaths:
tcl.append("prj_impl option {include path} {\"" + path + "\"}")
vincpath = ';'.join(map(lambda x: x.replace('\\', '/'), vincpaths))
tcl.append("prj_impl option {include path} {\"" + vincpath + "\"}")
# Add sources
for filename, language, library in sources: