blob: 62e5943a7d0614d69a4fb3ecce66d7899acd0ff0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
##
## Makefile for Proof General images directory.
##
## Author: David Aspinall <da@dcs.ed.ac.uk>
##
## Developer use only, not part of distribution.
##
## $Id$
##
## make buttons make *.xpm, *.xbm from gimp xcf files
## make webpix make *.jpg from gimp xcf files
## make install copy *.jpg to ../html directory
## make clean remove dummy targets
## make cvsclean remove non-cvs files
##
## make dist ready for distribution
## (make buttons, move jpegs to html)
##
###########################################################################
# Sources
BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf
WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf text_general.xcf text_proof.xcf
# Targets for html directory
WEBPIX_ONLY=
WEBPIX_TARGETS=$(WEBPIX_ONLY) ProofGeneral.jpg text_general.gif text_proof.gif
# Junk not wanted
UNWANTED=text_general.jpg text_proof.jpg
CWD=$(shell pwd)
GIMP_DIRECTORY=$(CWD)/gimp
# Command to run gimp in batch mode.
GIMP=export GIMP_DIRECTORY=$(GIMP_DIRECTORY); gimp --no-interface --no-data --console-messages --batch
default: all
images: all
all: buttons webpix
dist: all install distclean
buttons: $(BUTTONS)
$(GIMP) '(script-fu-proofgeneral-make-all-buttons 1)' '(gimp-quit 0)'
touch buttons
webpix: $(WEBPIX)
$(GIMP) '(script-fu-proofgeneral-save-all-pix 1)' '(gimp-quit 0)'
touch webpix
cvsclean: clean
# For the time being we keep all this junk under CVS too, for convenience.
# rm -f *.xpm *.xbm *.jpg gimp/pluginrc
# rm -f *.jpg gimp/pluginrc
# Remove all the generated targets and other junk.
wellclean: clean
rm -f *.xpm *.xbm *.jpg *.gif
distclean: clean
clean:
rm -f buttons webpix gimp/pluginrc
rm -f $(WEBPIX_ONLY) $(UNWANTED)
install: webpix
cp -pf $(WEBPIX_TARGETS) ../html
##
## Batch mode is a bit broken on The Gimp at the moment (v 1.0)
## For script fu, at least, it seems tricky to pass arguments to
## scripts.
## With '1' as first argument to indicate "non-interactive", things
## don't work. With '0', we get popup menus and args are ignored!
# NB: .xbm used as target, but also generates .xpm's.
#%.xbm: %.xcf
# $(GIMP) '(script-fu-proofgeneral-make-buttons "$(CWD)/$*")' '(gimp-quit 0)'
#%.jpg: %.xcf
# $(GIMP) '(script-fu-proofgeneral-save-jpg 0 "$(CWD)/$*")' '(gimp-quit 0)'
# cp -pf $*.jpg ../html
|