diff options
| author | hdaniels <unknown> | 2005-06-21 18:40:22 +0000 |
|---|---|---|
| committer | hdaniels <unknown> | 2005-06-21 18:40:22 +0000 |
| commit | 6693b50c9da76b66e958e85a789737bfc1f8f1cf (patch) | |
| tree | 9f1218a27de2acae4b5b275a5b01be53d41650e0 /src/Makefile | |
| parent | 0c71d62d4c6a052738b0a6fc5a22dbba16fad977 (diff) | |
added daniels' version of the Java editor
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index c167f2fd4..878733668 100644 --- a/src/Makefile +++ b/src/Makefile @@ -7,6 +7,7 @@ GHCFLAGS+= -fglasgow-exts -package util GHCOPTFLAGS=-O2 GHCFUDFLAG= JAVAFLAGS=-target 1.4 -source 1.4 +GFEDITOR=JavaGUI2 DIST_DIR=GF-$(PACKAGE_VERSION) NOT_IN_DIST= \ @@ -93,10 +94,12 @@ shell: clean: find . '(' -name '*~' -o -name '*.hi' -o -name '*.ghi' -o -name '*.o' ')' -exec rm -f '{}' ';' -rm -f JavaGUI/*.class + -rm -f $(GFEDITOR)/de/uka/ilkd/key/ocl/gf/*.class -rm -f gf.wixobj distclean: clean -rm -f JavaGUI/gf-java.jar jgf + -rm -f $(GFEDITOR)/gfeditor.jar jgf -rm -f tools/$(GF_DOC_EXE) -rm -f config.status config.mk config.log -rm -f *.tgz *.zip @@ -111,9 +114,12 @@ today: javac: $(JAVAC) $(JAVAFLAGS) JavaGUI/*.java + $(JAVAC) $(JAVAFLAGS) -classpath $(GFEDITOR):$(GFEDITOR)/log4j-1.2.8.jar:$(GFEDITOR)/jargs-1.0.jar $(GFEDITOR)/de/uka/ilkd/key/ocl/gf/*.java + jar: javac - cd JavaGUI; $(JAR) -cmf manifest.txt gf-java.jar *.class + cd JavaGUI; $(JAR) -cmf manifest.txt gf-java.jar *.class ; cd .. + cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cat log4j-1.2.8.jar | (cd jarcontents; jar -x org) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar de/uka/ilkd/key/ocl/gf/*.class org jargs ; cd .. ; rm -rf jarcontents ; cd .. showflags: @echo $(GHCFLAGS) @@ -187,6 +193,7 @@ binary-dist: $(MAKE) all $(INSTALL) ../bin/$(GF_EXE) tools/$(GF_DOC_EXE) $(BIN_DIST_DIR) $(INSTALL) -m 0644 JavaGUI/gf-java.jar $(BIN_DIST_DIR) + $(INSTALL) -m 0644 $(GFEDITOR)/gfeditor.jar $(BIN_DIST_DIR) $(INSTALL) configure config.guess config.sub install-sh $(BIN_DIST_DIR) $(INSTALL) -m 0644 config.mk.in jgf.in $(BIN_DIST_DIR) $(INSTALL) -m 0644 ../README ../LICENSE $(BIN_DIST_DIR) @@ -229,8 +236,13 @@ install-editor: $(INSTALL) -d $(datadir)/GF-$(PACKAGE_VERSION) $(INSTALL) jgf $(bindir) $(INSTALL) -m 0644 JavaGUI/gf-java.jar $(datadir)/GF-$(PACKAGE_VERSION) + $(INSTALL) gfeditor $(bindir) + $(INSTALL) -m 0644 $(GFEDITOR)/gfeditor.jar $(datadir)/GF-$(PACKAGE_VERSION) install-java: javac -rm -f ../bin/JavaGUI ln -s ../src/JavaGUI ../bin @echo "PLEASE edit GFHOME in bin/jgf" + -rm -f ../bin/$(GFEDITOR) + ln -s ../src/$(GFEDITOR) ../bin + |