File: Makefile

package info (click to toggle)
asis 2007-4
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 7,832 kB
  • ctags: 34
  • sloc: ada: 93,665; makefile: 225
file content (67 lines) | stat: -rw-r--r-- 1,743 bytes parent folder | download
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

include Makefile.stub

all: install install-asistant install-tools

BLD=prod
tools = gnatstub gnatelim gnatmetric gnatpp gnatcheck

I_BIN	= $(INSTALL_DIR)/bin
I_INC	= $(INSTALL_DIR)/include/asis
I_LIB	= $(INSTALL_DIR)/lib/asis
I_GPR	= $(INSTALL_DIR)/lib/gnat
I_DOC   = $(INSTALL_DIR)/share/doc/asis
I_GPS   = $(INSTALL_DIR)/share/gps/plug-ins

install: lib/libasis$(arext)
	$(RMDIR) $(I_INC)
	$(RMDIR) $(I_LIB)
	$(MKDIR) $(I_BIN)
	$(MKDIR) $(I_INC)
	$(MKDIR) $(I_LIB)
	$(MKDIR) $(I_GPR)
	$(MKDIR) $(I_GPS)
	$(MKDIR) $(I_DOC)/html
	$(MKDIR) $(I_DOC)/info
	$(MKDIR) $(I_DOC)/pdf
	$(INSTALL_FILES) lib/*.ali $(I_LIB)
	$(CHMOD) a-w $(I_LIB)/*.ali
	$(INSTALL_FILES) lib/libasis$(arext) $(I_LIB)
	$(CHMOD) a-w $(I_LIB)/libasis$(arext)
	$(INSTALL_FILES) gnat/*.ads gnat/*.adb $(I_INC)
	$(INSTALL_FILES) asis/*.ads asis/*.adb $(I_INC)
	$(INSTALL_FILES) asis/asis.gpr $(I_GPR)
	$(INSTALL_FILES) documentation/*.html $(I_DOC)/html/
	$(INSTALL_FILES) documentation/*.pdf  $(I_DOC)/pdf/
	$(INSTALL_FILES) documentation/*.info $(I_DOC)/info/
	$(INSTALL_FILES) documentation/gps_index.xml $(I_GPS)/asis.xml

lib/libasis$(arext): force
	gnat make -Pasis_bld -XBLD=$(BLD) -XOPSYS=$(OPSYS)

install-tools: $(tools:%=install-%)
	echo $<

gnat%:
	gnatmake "-Ptools/$@/$@" "-XBLD=$(BLD)" "-XOPSYS=$(OPSYS)"

asistant:
	gnatmake "-Ptools/$@/$@" "-XBLD=$(BLD)" "-XOPSYS=$(OPSYS)"

install-asistant: asistant
	$(MKDIR) $(I_BIN)
	$(INSTALL_FILES) tools/asistant/asistant$(exe_ext) $(I_BIN)

install-gnat%: gnat%
	$(MKDIR) $(I_BIN)
	$(INSTALL_FILES) tools/gnat$*/gnat$*$(exe_ext) $(I_BIN)
atre:
	gnat make -Ptools/$@/$@

clean-gnat%:
	gnat clean -Ptools/gnat$*/gnat$*

clean: clean-gnatstub clean-gnatelim clean-gnatpp clean-gnatmetric
	gnat clean -Pasis_bld

force: