make.proto « tacle-bench-lift « 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/tacle-bench-lift/make.proto

blob: 58dd5c394d5e9068f0d773169a855ea805feb83c (plain)

1
2
3

intro: "ALL_CFLAGS = -include kill_pragma.h"
objdeps: [{name: liftlibcontrol, compiler: both}, {name: liftlibio, compiler: both}]
target: lift