aboutsummaryrefslogtreecommitdiff
path: root/src/utils/Makefile.in
blob: 3f70fda869c2188db5b5d17ce2495c30c3e9becf (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
85
86
87
88
89
90
91
92
93
94
95
96
# Copyright (C) 2011-2014, Gabriel Dos Reis.
# All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are
# met:
#
#     - Redistributions of source code must retain the above copyright
#       notice, this list of conditions and the following disclaimer.
#
#     - Redistributions in binary form must reproduce the above copyright
#       notice, this list of conditions and the following disclaimer in
#       the documentation and/or other materials provided with the
#       distribution.
#
#     - Neither the name of The Numerical Algorithms Group Ltd. nor the
#       names of its contributors may be used to endorse or promote products
#       derived from this software without specific prior written permission.
#
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
# IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
# PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
# OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
# EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
# PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
# LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
# NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

subdir = src/utils/

bin_PROGRAMS = hammer$(EXEEXT)
hammer_SOURCES = hammer.cc
hammer_OBJECTS = $(hammer_SOURCES:.cc=.lo)
hammer_LDADD = -L. -lOpenAxiom

libOpenAxiom_SOURCES = \
	storage.cc string-pool.cc command.cc \
	filesystem.cc

libOpenAxiom_OBJECTS = $(libOpenAxiom_SOURCES:.cc=.lo)

oa_public_headers = hash-table string-pool

## Where we store public header files
oa_target_headerdir = $(oa_target_includedir)/open-axiom

oa_include_flags = -I. -I$(oa_target_includedir) \
	-I$(top_builddir)/config \
	-I$(top_srcdir)/src/include \
	-DOPENAXIOM_ROOT_DIRECTORY="\"$(open_axiom_installdir)\""

oa_target_oalib = $(oa_target_libdir)/libOpenAxiom.$(LIBEXT)

.PHONY: all all-ax all-utils
.SUFFIXES:
.SUFFIXES: .cc .H .$(OBJEXT) .$(LIBEXT)
.PRECIOUS: %.lo %.$(OBJEXT)


all: all-ax

all-ax all-utils: stamp

stamp: $(oa_target_oalib) $(bin_PROGRAMS)
	-rm -f stamp
	$(STAMP) stamp

$(oa_target_oalib): libOpenAxiom.$(LIBEXT)
	if [ ! -d $(oa_target_libdir) ]; then \
	   mkdir -p $(oa_target_libdir); \
	fi
	cp $< $@

hammer$(EXEEXT): $(hammer_OBJECTS) libOpenAxiom.$(LIBEXT)
	$(LINK) -o $@ $(hammer_OBJECTS)  $(hammer_LDADD) $(LDFLAGS)

libOpenAxiom.$(LIBEXT): $(libOpenAxiom_OBJECTS)
	$(LINK) -o $@ $(libOpenAxiom_OBJECTS)

%.lo: %.cc 
	$(COMPILE) ${CXXFLAGS} $(oa_include_flags) -o $@ $<


mostlyclean-local:
	@rm -rf .libs
	@rm -f $(oa_target_oalib)
	@rm -f $(libOpenAxiom_OBJECTS)
	@rm -f *~ core

clean-local: mostlyclean-local

distclean-local: clean-local