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
|
# Toplevel makefile for LablGtk2
all opt doc install uninstall byte world old-install old-uninstall: config.make
all opt doc install uninstall byte clean depend world old-install old-uninstall:
$(MAKE) -C src $@
preinstall:
$(MAKE) -C src $@
$(MAKE) -f Makefile.pre
arch-clean:
@rm -f config.status config.make config.cache config.log
@rm -f \#*\# *~ aclocal.m4
@rm -rf autom4te*.cache
configure: configure.in
aclocal
autoconf
config.make: config.make.in
@echo config.make is not up to date. Execute ./configure first.
@exit 2
.PHONY: all opt doc install byte world clean depend arch-clean headers
headers:
find examples -name "*.ml" -exec headache -h header_examples {} \;
find applications -name "*.ml" -exec headache -h header_apps {} \;
find applications -name "*.mli" -exec headache -h header_apps {} \;
find src -name "*.ml" -exec headache -h header {} \;
find src -name "*.mli" -exec headache -h header {} \;
find src -name "*.c" -exec headache -h header {} \;
find src -name "*.h" -exec headache -h header {} \;
|
