aboutsummaryrefslogtreecommitdiff
path: root/src_doit/c.py
diff options
context:
space:
mode:
authorbozo.kopic <bozo@kopic.xyz>2023-01-01 20:13:03 +0100
committerbozo.kopic <bozo@kopic.xyz>2023-01-01 20:13:03 +0100
commit0e3f1021cc14e2616086e69019de1cc67ba55dc1 (patch)
treef811380216abfc9ea5fcd9910301be6661f569df /src_doit/c.py
parent4c6fe8691bbce3ccf253ed6ff464866bbb4465a9 (diff)
frontend - add documentationv0.4.6
Diffstat (limited to 'src_doit/c.py')
-rw-r--r--src_doit/c.py4
1 files changed, 3 insertions, 1 deletions
diff --git a/src_doit/c.py b/src_doit/c.py
index d365826..ecbd498 100644
--- a/src_doit/c.py
+++ b/src_doit/c.py
@@ -1,4 +1,5 @@
from pathlib import Path
+import os
from hat.doit import common
from hat.doit.c import (get_lib_suffix,
@@ -19,7 +20,8 @@ build_c_dir = build_dir / 'c'
platforms = [common.local_platform]
if common.local_platform == common.Platform.LINUX_GNU_X86_64:
- platforms.append(common.Platform.WINDOWS_AMD64)
+ if 'SKIP_CROSS_COMPILE' not in os.environ:
+ platforms.append(common.Platform.WINDOWS_AMD64)
cc_flags = ['-fPIC', '-O2']
# cc_flags = ['-fPIC', '-O0', '-ggdb']