dm_configure_ccomp.sh « picosat-965 « monniaux « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/test/monniaux/picosat-965/dm_configure_ccomp.sh

blob: ffa6d8847181f463c640d533fc61e3ea7ad6f8bd (plain)

1 2	`# BUG CC=../../../ccomp CFLAGS="-fall -Wall -O3 -U __SIZEOF_INT128__ -U __SIZE_TYPE__ -D __SIZE_TYPE__='unsigned long long' -DNALARM -DNZIP -DNGETRUSAGE" ./configure.sh`