-
Notifications
You must be signed in to change notification settings - Fork 2
/
Makefile
62 lines (58 loc) · 1.93 KB
/
Makefile
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
#* **************************************************************************
# * This file is part of Timothy
# *
# * Copyright (c) 2014/15 Maciej Cytowski
# * Copyright (c) 2014/15 ICM, University of Warsaw, Poland
# *
# * This program is free software; you can redistribute it and/or modify
# * it under the terms of the GNU General Public License as published by
# * the Free Software Foundation; either version 2 of the License, or
# * (at your option) any later version.
# *
# * This program is distributed in the hope that it will be useful,
# * but WITHOUT ANY WARRANTY; without even the implied warranty of
# * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# * GNU General Public License for more details.
# *
# * You should have received a copy of the GNU General Public License
# * along with this program; if not, write to the Free Software
# * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
# *
# * *************************************************************************/
.PHONY: all clean doc
all:
@ if command -v gmake >/dev/null 2>&1; then \
echo "using gmake to build timothy"; \
cd src/; gmake; \
else \
echo "using make to build timothy"; \
cd src/; make; \
fi
install:
@ if command -v gmake >/dev/null 2>&1; then \
echo "installing timothy"; \
cd src/; gmake install; \
else \
echo "installing timothy"; \
cd src/; make install; \
fi
clean:
@ if command -v gmake >/dev/null 2>&1; then \
echo "using gmake to clean timothy"; \
cd src/; gmake clean; \
cd ../doc; rm -fr html/ latex/; \
else \
echo "using make to clean timothy"; \
cd src/; make clean; \
cd ../doc; rm -fr html/ latex/; \
fi
doc:
@ if command -v doxygen >/dev/null 2>&1; then \
if command -v gmake >/dev/null 2>&1; then \
cd src/; gmake doc;\
else \
cd src/; make doc; \
fi \
else \
echo "Doxygen not found"; \
fi