Merge branch 'azure' into devel

2020-02-12 15:19:45 +01:00 · 2020-02-12 15:19:45 +01:00 · edf55a4dec
parent 8c8fbbc003 812386edd2
commit edf55a4dec
2 changed files with 3 additions and 2 deletions
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@ -14,7 +14,7 @@ jobs:
      - task: CacheBeta@1
        displayName: 'cache Nim binaries'
        inputs:
-          key: NimBinaries | $(Agent.OS) | $(PLATFORM) | "$(Build.SourceBranchName)"
+          key: NimBinaries | $(Agent.OS) | $(PLATFORM) | "$(Build.SourceBranchName)" | "v2"
          path: NimBinaries

      - task: CacheBeta@1
--- a/nim.cfg
+++ b/nim.cfg
@ -32,7 +32,8 @@
  --passC:"-march=native"
  @if windows:
    # https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65782
-    --passC:"-fno-asynchronous-unwind-tables"
+    # ("-fno-asynchronous-unwind-tables" breaks Nim's exception raising, sometimes)
+    --passC:"-mno-avx512vl"
  @end
@end