# 
# The LOOP Project
# 
# The LOOP Team, Dresden University and Nijmegen University
# 
# Copyright (C) 2002
# 
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License as
# published by the Free Software Foundation; either version 2 of
# the License, or (at your option) any later version.
# 
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# General Public License in file COPYING in this or one of the
# parent directories for more details.
# 
# Created by Hendrik 11.1.99, adopted from old GNUmakefile
# 
# Time-stamp: <Monday 8 October 01 17:58:00 tews@ithif51>
# 
# Makefile for looplib (common modules)
# 
# $Id: GNUmakefile,v 1.15 2010-06-30 09:38:01 tews Exp $
# 

include ../Common/CommonMakefile

OBJECTS=util.cmo table.cmo formatter.cmo type_variable.cmo \
	\
	top_variant_types.cmo top_variant_types_util.cmo top_classtypes.cmo \
	config.cmo global.cmo error.cmo top_names.cmo  \
	logic_util.cmo \
	top_classes.cmo \
	name_space.cmo \
	parser_util.cmo \
	\
	pvs_proof_util.cmo \
	pretty_util.cmo \
	pvs_pretty.cmo isar_pretty.cmo \
	syntax.cmo \
	pvs_batch.cmo \

NATIVE=$(OBJECTS:.cmo=.cmx)

all: looplib.cma 
#all: looplib.cma $(CCSLCOMPILER) 

native: looplib.cmxa

looplib.cma: $(OBJECTS)
	$(OCAMLC) -a $(COMPFLAGS) -o looplib.cma $(OBJECTS)

looplib.cmxa: $(NATIVE)
	$(OCAMLOPT) -a -o looplib.cmxa $(NATIVE)


TAGS.local:
	$(OTAGS) -r . -o TAGS.local

clean::
	rm -f global.version

realclean: clean
	rm -f *etags TAGS

looplib.cma looplib.cmxa: GNUmakefile


# ocamldep 

include .depend


### Local Variables: ***
### version-control: t ***
### kept-new-versions: 5 ***
### time-stamp-line-limit: 30 ***
### End: ***

