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

intro: "ALL_CFLAGS = -include kill_pragma.h"
sources: "lift.c liftlibcontrol.c liftlibio.c"
target: lift
measures: [cycles]