Tue, 17 Sep 2024 23:29:12 +0200
also add a binary search for the supremum
relates to #424
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
1 | <?xml version="1.0" encoding="UTF-8"?> |
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
2 | <project xmlns="http://unixwork.de/uwproj"> |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
3 | <config> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
4 | <var name="src_dir" exec="true">pwd</var> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
5 | <var name="DOXYGEN" exec="true">command -v doxygen</var> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
6 | <var name="PANDOC" exec="true">command -v pandoc</var> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
7 | </config> |
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
8 | |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
9 | <dependency> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
10 | <make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
11 | # library version |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
12 | VERSION=3.1.0 |
825
3f324ea53152
be honest at least in the lib version
Mike Becker <universe@uap-core.de>
parents:
815
diff
changeset
|
13 | LIBVERSION=5.0.0 |
3f324ea53152
be honest at least in the lib version
Mike Becker <universe@uap-core.de>
parents:
815
diff
changeset
|
14 | LIBVERSION_MAJOR=5 |
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
15 | |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
16 | # build directory structure !! do not change or override !! |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
17 | build_dir=${src_dir}/build |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
18 | docs_dir=${src_dir}/build/docs |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
19 | dist_dir=${src_dir}/dist |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
20 | </make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
21 | </dependency> |
842
b48cbfa109d4
add -lm to ldflags on Solaris
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
825
diff
changeset
|
22 | |
b48cbfa109d4
add -lm to ldflags on Solaris
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
825
diff
changeset
|
23 | <dependency platform="solaris"> |
b48cbfa109d4
add -lm to ldflags on Solaris
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
825
diff
changeset
|
24 | <ldflags>-lm</ldflags> |
b48cbfa109d4
add -lm to ldflags on Solaris
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
825
diff
changeset
|
25 | </dependency> |
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
26 | |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
27 | <dependency name="file-tools"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
28 | <make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
29 | MKDIR=/bin/mkdir -p |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
30 | RMFILE=/bin/rm -f |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
31 | RMDIR=/bin/rm -f -R |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
32 | COPYFILE=/bin/cp -f |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
33 | COPYALL=/bin/cp -f -R |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
34 | SYMLINK=/bin/ln -s |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
35 | </make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
36 | </dependency> |
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
37 | |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
38 | <dependency name="c" platform="mingw"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
39 | <lang>c</lang> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
40 | <make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
41 | AR=ar |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
42 | ARFLAGS=r |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
43 | STLIB_EXT=.lib |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
44 | SHLIB_EXT=.dll |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
45 | </make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
46 | </dependency> |
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
47 | |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
48 | <dependency name="c" platform="macos"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
49 | <lang>c</lang> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
50 | <make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
51 | AR=ar |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
52 | ARFLAGS=r |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
53 | STLIB_EXT=.a |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
54 | SHLIB_EXT=.dylib |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
55 | </make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
56 | </dependency> |
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
57 | |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
58 | <dependency name="c" platform="unix"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
59 | <lang>c</lang> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
60 | <make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
61 | AR=ar |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
62 | ARFLAGS=r |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
63 | STLIB_EXT=.a |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
64 | SHLIB_EXT=.so |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
65 | </make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
66 | </dependency> |
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
67 | |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
68 | <dependency name="doxygen"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
69 | <test>test -n "$DOXYGEN"</test> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
70 | </dependency> |
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
71 | |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
72 | <dependency name="pandoc"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
73 | <test>test -n "$PANDOC"</test> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
74 | </dependency> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
75 | |
815
b0c4750cecd8
update uwproj and check toolchain dependency for coverage flags - fixes #345
Mike Becker <universe@uap-core.de>
parents:
797
diff
changeset
|
76 | <dependency name="coverage" toolchain="gnuc"> |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
77 | <cflags>\${COVERAGE_CFLAGS}</cflags> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
78 | <ldflags>\${COVERAGE_LDFLAGS}</ldflags> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
79 | </dependency> |
772
4586a84c0c0b
add coverage feature - relates to #342
Mike Becker <universe@uap-core.de>
parents:
766
diff
changeset
|
80 | |
797
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
81 | <target> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
82 | <option arg="with-docs"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
83 | <value str="all"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
84 | <dependencies>pandoc,doxygen</dependencies> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
85 | <make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
86 | # Documentation |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
87 | WITH_DOCS_API=yes |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
88 | WITH_DOCS_HTML=yes |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
89 | </make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
90 | </value> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
91 | <value str="html"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
92 | <dependencies>pandoc</dependencies> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
93 | <make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
94 | # Documentation |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
95 | WITH_DOCS_HTML=yes |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
96 | </make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
97 | </value> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
98 | <value str="api"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
99 | <dependencies>doxygen</dependencies> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
100 | <make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
101 | # Documentation |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
102 | WITH_DOCS_API=yes |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
103 | </make> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
104 | </value> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
105 | <value str="none"/> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
106 | <default value="all"/> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
107 | <default value="html"/> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
108 | <default value="api"/> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
109 | <default value="none"/> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
110 | </option> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
111 | <feature name="coverage"> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
112 | <dependencies>coverage</dependencies> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
113 | </feature> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
114 | <dependencies>c,file-tools</dependencies> |
e0300c2c4e95
use that recent uwproj trims indents in project.xml
Mike Becker <universe@uap-core.de>
parents:
788
diff
changeset
|
115 | </target> |
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
116 | </project> |