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: 654988347f32e0312bac7002336b811cf2679c53 (plain)

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