diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 13:04:42 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 13:04:42 +0100 |
commit | a042d603c911ea0ced701d415574342264e0555e (patch) | |
tree | ab87fe512b9ff7b98268acd790cb9d7278ea0131 /configure | |
parent | 7e03c9d3f58530d468d11c5f274bfb3d0fcf1ff2 (diff) | |
parent | 5122c5f507dcb3cfe5ed6f1df7e52a1e948a03b4 (diff) | |
download | compcert-kvx-a042d603c911ea0ced701d415574342264e0555e.tar.gz compcert-kvx-a042d603c911ea0ced701d415574342264e0555e.zip |
Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -448,7 +448,7 @@ if test "$arch" = "mppa_k1c"; then libdir="$HOME/.usr/lib" clinker_options="$model_options -L$libdir -Wl,-rpath=$libdir" cprepro="k1-mbr-gcc" - cprepro_options="$model_options -std=c99 -U__GNUC__ -E" + cprepro_options="$model_options -std=c99 -U__GNUC__ -E -D__thread='' -D__int128='int'" libmath="-lm" system="linux" fi |