+3

Makefile.build_config.in

reviewed

··· 151 151 # Platform-dependent module for ocamlyacc 152 152 ocamlyacc_WSTR_MODULE = @ocamlyacc_wstr_module@ 153 153 154 154 + # Architecture-specific modules, if any 155 155 + arch_specific_SOURCES = @arch_specific_SOURCES@ 156 156 + 154 157 # ThreadSanitizer support enabled 155 158 TSAN=@tsan@ 156 159 # Contains TSan-specific runtime files, or nothing if TSan support is

-8

compilerlibs/Makefile.compilerlibs

reviewed

··· 180 180 x86_gas.mli x86_gas.ml \ 181 181 x86_masm.mli x86_masm.ml 182 182 183 183 - arch_specific_SOURCES = 184 184 - ifeq ($(ARCH),i386) 185 185 - arch_specific_SOURCES = $(intel_SOURCES) 186 186 - endif 187 187 - ifeq ($(ARCH),amd64) 188 188 - arch_specific_SOURCES = $(intel_SOURCES) 189 189 - endif 190 190 - 191 183 asmcomp_SOURCES = \ 192 184 $(addprefix asmcomp/, \ 193 185 $(arch_specific_SOURCES) \

+9

configure

reviewed

··· 883 883 system 884 884 model 885 885 arch64 886 886 + arch_specific_SOURCES 886 887 arch 887 888 SO 888 889 runtime_asm_objects ··· 3306 3307 # Note: This is present for the flexdll bootstrap where it exposed as the old 3307 3308 # TOOLPREF variable. It would be better if flexdll where updated to require 3308 3309 # WINDRES instead. 3310 3310 + 3309 3311 3310 3312 3311 3313 ··· 15574 15576 ;; #( 15575 15577 *) : 15576 15578 ;; 15579 15579 + esac 15580 15580 + 15581 15581 + case $arch in #( 15582 15582 + amd64) : 15583 15583 + arch_specific_SOURCES='$(intel_SOURCES)' ;; #( 15584 15584 + *) : 15585 15585 + arch_specific_SOURCES='' ;; 15577 15586 esac 15578 15587 15579 15588 native_cflags=''

+6

configure.ac

reviewed

··· 117 117 AC_SUBST([runtime_asm_objects]) 118 118 AC_SUBST([SO]) 119 119 AC_SUBST([arch]) 120 120 + AC_SUBST([arch_specific_SOURCES]) 120 121 AC_SUBST([arch64]) 121 122 AC_SUBST([model]) 122 123 AC_SUBST([system]) ··· 1338 1339 [riscv64-*-linux*], 1339 1340 [has_native_backend=yes; arch=riscv; model=riscv64; system=linux] 1340 1341 ) 1342 1342 + 1343 1343 + AS_CASE([$arch], 1344 1344 + [amd64], 1345 1345 + [arch_specific_SOURCES='$(intel_SOURCES)'], 1346 1346 + [arch_specific_SOURCES='']) 1341 1347 1342 1348 native_cflags='' 1343 1349 native_cppflags="-DTARGET_${arch} -DMODEL_${model} -DSYS_${system}"