# 
# 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.9 2002/01/23 16:00:22 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 \
	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 isabelle_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) . -tags TAGS.local

realclean: clean
	rm -f *etags TAGS


looplib.cma looplib.cmxa: GNUmakefile


# ocamldep 

include .depend
 


