spielwiese
Last change
on this file since e65b1a4 was
429497,
checked in by Julien Puydt <julien.puydt@…>, 12 years ago
|
Modified the omalloc configuration for factory/ and made toplevel use it
The factory/ configure now has four options for omalloc:
--enable-omalloc
--with-omalloc-dir=<path> (to point to omalloc's main install)
--with-omalloc-extra-dir=<path> (in case there needs a second
-- think out-of-tree builds)
--enable-omalloc-trust (to trust omalloc will be found at build-time
but don't check at configure-time)
That last is especially useful to build factory/ inside singular,
because in that case, omalloc.h includes omTables.h... which will exist
only during the build!
Finally, the toplevel Makefile.am and configure.ac are modified, so
that the correct options are passed to factory/configure.
|
-
Property mode set to
100644
|
File size:
741 bytes
|
Line | |
---|
1 | ACLOCAL_AMFLAGS = -I m4 |
---|
2 | |
---|
3 | if ENABLE_FACTORY |
---|
4 | USE_FACTORY = factory |
---|
5 | else |
---|
6 | USE_FACTORY = |
---|
7 | endif |
---|
8 | |
---|
9 | PACKAGES=findexec omalloc $(USE_FACTORY) libpolys kernel numeric Singular IntegerProgramming |
---|
10 | |
---|
11 | SUBDIRS=$(PACKAGES) |
---|
12 | |
---|
13 | TESTDIRS=$(ALLOC) $(USE_FACTORY) libpolys kernel Singular |
---|
14 | |
---|
15 | |
---|
16 | emacsdir=$(datadir)/emacs |
---|
17 | dist_emacs_DATA = emacs/BUGS \ |
---|
18 | emacs/ChangeLog \ |
---|
19 | emacs/cmpl.pl \ |
---|
20 | emacs/COPYING \ |
---|
21 | emacs/ESingular.emacs21 \ |
---|
22 | emacs/lib.pl \ |
---|
23 | emacs/Makefile.in \ |
---|
24 | emacs/NEWS \ |
---|
25 | emacs/singular.el \ |
---|
26 | emacs/singular.el.decl \ |
---|
27 | emacs/singular.xpm |
---|
28 | |
---|
29 | # emacs/test.sing |
---|
30 | # TODO: remove this! |
---|
31 | #all-local: |
---|
32 | # [ -d ${builddir}/emacs ] || ln -s ${srcdir}/emacs ${builddir} |
---|
33 | |
---|
34 | |
---|
35 | EXTRA_DIST = autogen.sh emacs |
---|
36 | |
---|
37 | |
---|
38 | bin_SCRIPTS = libsingular-config |
---|
Note: See
TracBrowser
for help on using the repository browser.