# Makefile for the Ptolemy II Formal Method Verification automatons
#
# @Authors: Chihhong Patrick Cheng, Christopher Brooks (makefile only)
#
# @Version: $Id: makefile 69602 2014-07-30 14:20:15Z cxh $
#
# @Copyright (c) 2008-2014 The Regents of the University of California.
# All rights reserved.
#
# Permission is hereby granted, without written agreement and without
# license or royalty fees, to use, copy, modify, and distribute this
# software and its documentation for any purpose, provided that the
# above copyright notice and the following two paragraphs appear in all
# copies of this software.
#
# IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY
# FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
# ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF
# THE UNIVERSITY OF CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF
# SUCH DAMAGE.
#
# THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
# INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
# MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE
# PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE UNIVERSITY OF
# CALIFORNIA HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES,
# ENHANCEMENTS, OR MODIFICATIONS.
#
# 						PT_COPYRIGHT_VERSION_2
# 						COPYRIGHTENDKEY

ME =            ptolemy/verification/demo/SimpleTrafficLight

# Root of the ptII directory
ROOT =		../../../..


# Get configuration info
CONFIG =	$(ROOT)/mk/ptII.mk
include $(CONFIG)

CLASSPATH =	$(ROOT)

# Used to build zip files
PTPACKAGE = 	SimpleTrafficLight
PTCLASSJAR =	$(PTPACKAGE).jar

JSRCS = 

OTHER_FILES_TO_BE_JARED = \
	PedestrianLightNormal.xml \
	SimpleTrafficLight.xml \
	SimpleTrafficLightBooleanToken.xml \
	SimpleTrafficLightDECTA.xml \
	SimpleTrafficLightGraphicalSpec.xml \
	SimpleTrafficLightRTMaudeCG.xml \
	SimpleTrafficLightSMVModule.xml \
	HierarchicalTrafficLight.xml

EXTRA_SRCS =	\
	 \
	$(JSRCS) $(OTHER_FILES_TO_BE_JARED)

# Sources that may or may not be present, but if they are present, we don't
# want make checkjunk to barf on them.
MISC_FILES =	$(DIRS)

# make checkjunk will not report OPTIONAL_FILES as trash
# make distclean removes OPTIONAL_FILES
OPTIONAL_FILES = \
	doc \

# Files to remove with 'make clean'
KRUFT = \
	*.jar

JCLASS = $(JSRCS:%.java=%.class)

all: jclass
	@echo "To run the demo, run 'make demo'"

demo:
	"$(PTII)/bin/vergil" SimpleTrafficLight.xml

install: all jars


# Get the rest of the rules
include $(ROOT)/mk/ptcommon.mk