# Makefile for the Ptolemy II Formal Method Verification automatons # # @Authors: Christopher Brooks (makefile only) # # @Version: $Id: makefile 50375 2008-08-09 11:25:41Z cxh $ # # @Copyright (c) 2008 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/gui # Root of the ptII directory ROOT = ../../.. # Get configuration info CONFIG = $(ROOT)/mk/ptII.mk include $(CONFIG) CLASSPATH = $(ROOT) # Used to build zip files PTPACKAGE = gui PTCLASSJAR = $(PTPACKAGE).jar JSRCS = \ MathematicalModelConverterGUIFactory.java \ MathematicalModelConverterGUI.java OTHER_FILES_TO_BE_JARED = 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 = # make checkjunk will not report OPTIONAL_FILES as trash # make distclean removes OPTIONAL_FILES OPTIONAL_FILES = \ doc \ 'MathematicalModelConverterGUI$$1.class' \ 'MathematicalModelConverterGUI$$2.class' \ 'MathematicalModelConverterGUI$$3.class' JCLASS = $(JSRCS:%.java=%.class) all: jclass install: all jars # Get the rest of the rules include $(ROOT)/mk/ptcommon.mk