← Back to branch summary

~cpn-gui/tapaal/typeChecker

« back to all changes in this revision

Viewing changes to Makefile

  • Committer: Peter Gjoel Jensen
  • Date: 2014-05-08 18:59:09 UTC
  • mto: This revision was merged to the branch mainline in revision 872.
  • Revision ID: peter.gjoel@gmail.com-20140508185909-2btay59qvnk8mcei
reverted makefile

Show diffs side-by-side

added added

removed removed

Lines of Context:
Makefile
1
1
## Makefile for the TAPAAL project (Mac)
2
2
 
3
 
#Copyright (c) 2009, Kenneth Yrke Jørgensen <kyrke@cs.aau.dk>
 
3
#Copyright (c) 2009-2011, Kenneth Yrke Jørgensen <kyrke@cs.aau.dk>
4
4
#All rights reserved.
5
5
#
6
6
#Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
13
13
#
14
14
 
15
15
# Location of trees.
16
 
SOURCE_DIR  := src 
 
16
SOURCE_DIR  := src
 
17
RESOURCE_DIR := $(SOURCE_DIR)/resources
17
18
OUTPUT_DIR  := classes
18
19
 
 
20
RELEASE_DIR := release-version
 
21
RELEASEJAR_DIR := releasejar-version
19
22
 
20
23
PROJECTNAME := TAPAAL
21
24
 
22
 
JAVA_HOME := /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
 
25
JAR_DIR := buildjar
 
26
JAR_FILE := $(JAR_DIR)/tapaal.jar
 
27
 
 
28
#Set location of java home
 
29
#ifeq (exists, $(shell [ -d /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home ]  && echo exists ))
 
30
#       JAVA_HOME := /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
 
31
#endif
 
32
 
 
33
#ifeq (exists, $(shell [ -d /Library/Java/JavaVirtualMachines/jdk1.7.0_21.jdk/Contents/Home ]  && echo exists ))
 
34
#       JAVA_HOME := /Library/Java/JavaVirtualMachines/jdk1.7.0_21.jdk/Contents/Home 
 
35
JAVA_HOME := $(/usr/libexec/java_home)
 
36
#endif
 
37
 
23
38
JAVA_LIB  := $(JAVA_HOME)/lib
24
39
 
25
 
 
26
 
DEPEND := libs/jpowergraph-0.2-common.jar:libs/jpowergraph-0.2-swing.jar:libs/gtkjfilechooser.jar:libs/gtkjfilechooser.jar:libs/GOLDEngine.jar:libs/commons-cli-1.2.jar:libs/AppleJavaExtensions.jar:
27
 
 
28
 
 
29
 
JFLAGS      := -sourcepath $(SOURCE_DIR) \
30
 
                -cp $(DEPEND)
 
40
DEPEND_DIR := libs
 
41
DEPEND := $(DEPEND_DIR)/\*
 
42
 
 
43
JFLAGS      := -source 1.6 -target 1.6 \
 
44
              -sourcepath $(SOURCE_DIR) -cp $(DEPEND)
 
45
# -bootclasspath /Library/Java/JavaVirtualMachines/jdk1.7.0_21.jdk/Contents/Home/jre/lib/rt.jar \
 
46
#/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/classes.jar -extdirs " " \
 
47
 
31
48
 
32
49
# Unix tools
33
50
AWK         := awk
39
56
 
40
57
# Java tools
41
58
 
42
 
JAVA        := $(JAVA_HOME)/bin/java
43
 
JAVAC       := $(JAVA_HOME)/bin/javac
44
 
 
45
 
default: RunGui.class
 
59
JAVA        :=  java
 
60
JAVAC       :=  javac
 
61
JAR       := jar
 
62
 
 
63
        MAINCLASS := $(SOURCE_DIR)/TAPAAL
 
64
default: ${MAINCLASS}.class
 
65
 
46
66
 
47
67
%.class : %.java
48
68
        $(JAVAC) $(JFLAGS) $*.java
52
72
        $(FIND) $(SOURCE_DIR) -name '*.java' > $@
53
73
        sed -ie 's#\.java#\.class#' $@
54
74
 
55
 
 
56
 
buildsrc: clean
57
 
        tar czf tapaal_version.orig.tar.gz Makefile pipe/ jpowergraph-0.2-common.jar jpowergraph-0.2-swing.jar gtkjfilechooser.jar schema/ jpowergraph/ java_cup/ jama/ Images/ expressions/  Example\ nets/ Docs/ dk/ cfg/ run-unix/  xslt/ RunGui.java
58
 
 
59
75
.PHONY : clean
60
76
clean:
61
77
        @rm -f ${all_javas}
62
78
        @find . -name '*.class' | xargs -L 1 rm -f
63
79
        @rm -f tapaal_version.orig.tar.gz
64
 
        @rm -rf ${OUTPUT_DIR}
 
80
        @rm -rf '${OUTPUT_DIR}'
 
81
        @rm -rf '$(RELEASE_DIR)'
 
82
        @rm -rf '$(JAR_DIR)'
 
83
        @rm -rf '$(RELEASEJAR_DIR)'
 
84
        @rm -rf 'bin' # Remove the Eclipse build files
 
85
 
65
86
 
66
87
release: clean 
67
88
        @mkdir $(OUTPUT_DIR)
68
 
        $(JAVAC) $(JFLAGS) -d $(OUTPUT_DIR)/ src/TAPAAL.java
69
 
 
 
89
        @mkdir $(RELEASE_DIR)
 
90
        $(JAVAC) $(JFLAGS) -d $(OUTPUT_DIR)/ '$(MAINCLASS).java' -encoding UTF8
 
91
        cp -R $(OUTPUT_DIR)/* '$(RELEASE_DIR)'
 
92
        cp -R '$(RESOURCE_DIR)' '$(RELEASE_DIR)'
 
93
        cp -R $(DEPEND_DIR)/* '$(RELEASE_DIR)'
 
94
 
 
95
releasejar: clean jar
 
96
        @mkdir $(RELEASEJAR_DIR)
 
97
        cp '$(JAR_FILE)' '$(RELEASEJAR_DIR)'
 
98
        cp -R $(DEPEND_DIR)/* '$(RELEASEJAR_DIR)'
 
99
 
 
100
 
 
101
jar: release 
 
102
        @mkdir $(JAR_DIR)
 
103
        $(JAR) -cfe $(JAR_FILE) TAPAAL -C $(RELEASE_DIR) . 
70
104
 
71
105
#Remove BYTE ORDER MARK
72
106
removeBOM:  
73
107
        sed -i '1 s/^\xef\xbb\xbf//' $*.java
 
108
 
 
109
TOOLS_DIR := tools
 
110
 
 
111
install: release
 
112
        mkdir -p $(DESTDIR)/usr/lib/tapaal/
 
113
        cp -R $(CURDIR)/$(RELEASE_DIR)/* $(DESTDIR)/usr/lib/tapaal/
 
114
        cp -R $(CURDIR)/$(TOOLS_DIR)/run-unix $(DESTDIR)/usr/bin/tapaal
 
115