# Makefile for Tlpt
#
# NOTE: Use 'gmake' (GNU make).
#
# $Id: Makefile 859 2008-02-11 02:08:58Z isr $

# -------------------------------------------------------------

RESULT = stest
SOURCES = ../terr.ml	\
	../utils.ml ../ttype.ml	\
	../vars.ml ../tlib.ml	\
	../lang.ml	\
	../texec.ml	\
	stype.ml	\
	slib.ml sparser.mly	\
	slex.mll \
	sexec.ml	\
	stest.ml

LIBS = nums unix
INCDIRS = ../
OCAMLMAKEFILE = ../OCamlMakefile

# -------------------------------------------------------------
include $(OCAMLMAKEFILE)
# -------------------------------------------------------------

mclean:
	-rm *.d

line: $(SOURCES)
	wc -l $(SOURCES)

