#========================================================================#
#                                                                        #
#                    CompcertTSO                                         #
#                                                                        #
#          Jaroslav Sevcik, University of Cambridge                      #
#          Viktor Vafeiadis, University of Cambridge                     #
#          Francesco Zappa Nardelli, INRIA Rocquencourt                  #
#          Suresh Jagannathan, Purdue University                         #
#          Peter Sewell, University of Cambridge                         #
#                                                                        #
#          (building on CompCert 1.5 and a 1.8 pre-release)              #
#                                                                        #
#  This document and the CompCertTSO sources are copyright 2005, 2006,   #
#  2007, 2008, 2009, 2010, 2011 Institut National de Recherche en        #
#  Informatique et en Automatique (INRIA), and Suresh Jagannathan,       #
#  Jaroslav Sevcik, Peter Sewell and Viktor Vafeiadis.                   #
#                                                                        #
#  All rights reserved.  This file is distributed under the terms of     #
#  the INRIA Non-Commercial License Agreement.                           #
#                                                                        #
#                                                                        #
#                                                                        #
#                                                                        #
#                                                                        #
#========================================================================#

include ../Makefile.config

CFLAGS=-m32 -O1 -g -Wall
OBJS=stdio.o calloc.o threadcreate.o
LIB=libcompcert.a
INCLUDES=stdio.h

$(LIB): $(OBJS)
	rm -f $(LIB)
	ar rcs $(LIB) $(OBJS)

stdio.o: stdio.h

clean:
	rm -f *.o $(LIB)

install:
	install -d $(LIBDIR)
	install -c $(LIB) $(INCLUDES) $(LIBDIR)
