Makefile.ss « treeadd « ccured_olden « test - compcert - CompCert fork with minor modifications for Vericert.

about summary refs log tree commit diff stats

path: root/test/ccured_olden/treeadd/Makefile.ss

blob: 7d3b7d230a5218c665f97532acc7d1b4c93612c2 (plain)

# /* For copyright information, see olden_v1.0/COPYRIGHT */

BINARY		= treeadd
FILES		= par-alloc node args ssplain

MY_CDEFS	= -DOLDEN

include ../Makefile.ss