Compiling on Cygwin

[Bjarke Hammersholt Roune]

I'm trying to compile M2 on Cygwin. I'm using ./configure --enable-
download, and M2 then downloads mpfr and attempts to build it. It
gives up with the error:

configure: error: gmp.h is a DLL: use --disable-static --enable-
shared

I tried passing those parameters to M2's configure script, which made
no difference. The Makefile that I think M2 makes for mpfr has the
line "CONFIGOPTIONS += --disable-shared", so I gather using the advice
from the error message wouldn't be good. I also anyway can't find a
configure file for mpfr in its directory.

Also, is there some kind of developer documentation for M2?
Specifically, for the layout of source files and how to run whatever
tests are included with M2. E.g. if I want to run tests on the method
associatedPrimes, what do I do? If there aren't any tests, where
should I put them if I write some myself?

[Daniel R. Grayson]

> Date: Fri, 5 Jun 2009 19:21:08 -0700 (PDT)
> From: Bjarke Hammersholt Roune <bjarke...@gmail.com>

>
> configure: error: gmp.h is a DLL: use --disable-static --enable-
> shared

Try simply running the M2 configure scripts with the option

--enable-build-libraries="gmp"

so that it also downloads and builds gmp before it builds mpfr.

>
> Also, is there some kind of developer documentation for M2?
> Specifically, for the layout of source files and how to run whatever
> tests are included with M2. E.g. if I want to run tests on the method
> associatedPrimes, what do I do? If there aren't any tests, where
> should I put them if I write some myself?

The top level "INSTALL" file gives some minimal information. For anything
else, just as questions here.

You could look in the files in that directory to see if any involve
associatedPrimes, or search through all the *.m2 files in
Macaulay2/packages/Macaulay2Doc/ and its subdirectories for the use of
associatedPrimes in a string passed to TEST.

Any file Macaulay2/packages/Macaulay2Doc/test/*.m2 is a test file, so add it
there. If you'd like to contribute the test to us, just send it to me. But if
you are writing a package and it would be okay to run the test as part of your
package, then use the "TEST" to add it there. That would be simpler.

[Bjarke Hammersholt Roune]

That worked. Thanks for the help.

After working through a few other things, I'm stuck at this stage:

** creating error.dep from ../../../../Macaulay2/e/error.c
make[2]: Leaving directory `/home/Administrator/m1.2/build/normal/
Macaulay2/e'
make[2]: Entering directory `/home/Administrator/m1.2/build/normal/
Macaulay2/e'
cd ../../../../Macaulay2/e && -o TAGS Makefile.in CC.hpp CCC.hpp
Eschreyer.
hpp GF.hpp LLL.hpp NAG.hpp QQ.hpp RR.hpp RRR.hpp ZZ.hpp
ZZp.hpp array.h
pp assprime.hpp buffer.hpp coeffrings.hpp comb.hpp comp-gb-
declared.hpp co
mp-gb-proxy.hpp comp-gb.hpp comp-res.hpp comp.hpp debug.hpp
det.hpp dmat-L
U.hpp dmat.hpp exceptions.hpp frac.hpp fractionfreeLU.hpp
freemod.hpp gaus
s.hpp gb-default.hpp gb-homog2.hpp gb-sugarless.hpp gb-toric.hpp
gb-walk.hp
p gbring.hpp gbweight.hpp geoT.hpp geopoly.hpp geovec.hpp
hash.hpp hermit
e.hpp hilb.hpp imonorder.hpp index.hpp int-bag.hpp intarray.hpp
lapack.hpp
mat.hpp matrix-con.hpp matrix.hpp mem.hpp monideal-
minprimes.hpp monideal
.hpp monoid.hpp monomial.hpp monorder.hpp montable.hpp
montableZZ.hpp newd
elete.hpp ntl-interface.hpp ntuple.hpp overflow.hpp pfaff.hpp
pm.hpp point
s.hpp poly.hpp polyquotient.hpp polyring.hpp qring.hpp queue.hpp
reducedgb
-ZZ.hpp reducedgb-field-local.hpp reducedgb-field.hpp reducedgb-
marked.hpp r
educedgb.hpp relem.hpp res-a0-pair.hpp res-a0-poly.hpp res-a0.hpp
res-a1-po
ly.hpp res-a1.hpp res-a2.hpp ring.hpp ringelem.hpp ringmap.hpp
sagbi.hpp
schorder.hpp schur.hpp skew.hpp skewpoly.hpp smat.hpp
solvable.hpp spair.h
pp stop.hpp style.hpp text-io.hpp varpower.hpp weylalg.hpp
complex.h engi
ne.h error.h exptable.h monordering.h pi.h rand.h table.h
CC.cpp CCC.cpp
Eschreyer.cpp GF.cpp LLL.cpp NAG.cpp QQ.cpp RR.cpp RRR.cpp
ZZ.cpp ZZp.
cpp assprime.cpp buffer.cpp coeffrings.cpp comb.cpp comp-gb-
declared.cpp c
omp-gb-proxy.cpp comp-gb.cpp comp-res.cpp comp.cpp debug.cpp
det.cpp dmat-
LU.cpp dmat.cpp engine.cpp exceptions.cpp factor.cpp frac.cpp
fractionfree
LU.cpp freemod.cpp gauss.cpp gb-default.cpp gb-homog2.cpp gb-
sugarless.cpp
gb-toric.cpp gb-walk.cpp gbring.cpp gbweight.cpp hermite.cpp
hilb.cpp imo
norder.cpp int-bag.cpp intarray.cpp lapack.cpp mat.cpp matrix-
con.cpp matr
ix-kbasis.cpp matrix-sort.cpp matrix-symm.cpp matrix.cpp mem.cpp
monideal-m
inprimes.cpp monideal.cpp monoid.cpp monomial.cpp monorder.cpp
montable.cpp
montableZZ.cpp ntl-debugio.cpp ntl-interface.cpp ntl-
internal.cpp ntuple.c
pp overflow-test.cpp overflow.cpp pfaff.cpp pm-test.cpp pm.cpp
points.cpp
poly.cpp polyquotient.cpp polyring.cpp qring.cpp reducedgb-
ZZ.cpp reducedg
b-field-local.cpp reducedgb-field.cpp reducedgb-marked.cpp
reducedgb.cpp rel
em.cpp res-a0-poly.cpp res-a0.cpp res-a1-poly.cpp res-a1.cpp res-
a2-gb.cpp
res-a2.cpp ring-vecs.cpp ring.cpp ringmap.cpp sagbi.cpp
schorder.cpp schu
r.cpp skew.cpp skewpoly.cpp smat.cpp solvable.cpp spair.cpp text-
io.cpp v
arpower.cpp weylalg.cpp x-factor.cpp x-free.cpp x-gb.cpp x-
mat.cpp x-monid
eal.cpp x-monoid.cpp x-monom.cpp x-mutablemat.cpp x-relem.cpp x-
ringmap.cpp
complex.c error.c exptable.c monordering.c rand.c table.c f4/
f4-computat
ion.hpp f4/f4-m2-interface.hpp f4/f4-mem.hpp f4/f4-monlookup.hpp
f4/f4-spair
s.hpp f4/f4-types.hpp f4/f4.hpp f4/gausser.hpp f4/memblock.hpp f4/
monhashta
ble.hpp f4/moninfo.hpp f4/monsort.hpp f4/ntuple-monomial.hpp f4/
varpower-mon
omial.hpp f4/f4-computation.cpp f4/f4-m2-interface.cpp f4/f4-
mem.cpp f4/f4-m
onlookup.cpp f4/f4-spairs.cpp f4/f4-syz.cpp f4/f4-types.cpp f4/
f4.cpp f4/ga
usser.cpp f4/memblock.cpp f4/monhashtable.cpp f4/moninfo.cpp f4/
monsort.cpp
f4/ntuple-monomial.cpp f4/varpower-monomial.cpp statuscodes
/bin/sh: -o: command not found
make[2]: *** [../../../../Macaulay2/e/TAGS] Error 127
make[2]: Leaving directory `/home/Administrator/m1.2/build/normal/
Macaulay2/e'
make[1]: *** [all-in-e] Error 2
make[1]: Leaving directory `/home/Administrator/m1.2/build/normal/
Macaulay2'
make: *** [all-in-Macaulay2] Error 2
make: Leaving directory `/home/Administrator/m1.2/build/normal'



Any suggestions?

[Daniel R. Grayson]

It looks like you have no C++ compiler installed ("g++"), and the configure
script is not smart enough to raise an error indication early on.

[Daniel R. Grayson]

I take that back. The missing program is "etags", which is part of the "emacs"
package. You can do without it if you change the line

all: initialize tags

in Macaulay2/e/Makefile.in to

all: initialize

I will also make that change going forward. (Since we always have emacs
installed, we never noticed this problem.)

[Bjarke Hammersholt Roune]

M2 was able to compile Frobby which uses a C++ compiler. Also, I do
have g++ on my path since:

$ g++
g++: no input files

I'm thinking that in this line:

cd ../../../../Macaulay2/e && -o TAGS Makefile.in CC.hpp CCC.hpp

it is supposed to say a command before the -o. This command is
probably a macro expansion of something that does not get defined in
the right way, but I don't know.

[Bjarke Hammersholt Roune]

That was it. Thanks. Now I get some linker problem seemingly related
to readline:

time gcc -L/home/Administrator/m1.2/build/normal/libraries/final/lib
-Wl,--ena
ble-auto-import startup.o ../regex/regex.o gmp_init.o version.o
M2types.o M2mem
.o scclib.o M2lib.o gmp_aux.o gdbm_interface.o factory_allocator.o
main.o pari-c
.o M2-factory.o interp.oo texmacs.oo interface.oo pari.oo actors5.oo
actors4.oo
actors3.oo actors2.oo actors.oo mysqldummy.oo evaluate.oo libfac.oo
objects.oo s
truct.oo GC.oo util.oo common.oo convertr.oo basic.oo binding.oo
parser.oo lex.o
o tokens.oo engine.oo gmp.oo err.oo stdiop.oo getline.oo stdio.oo
varnets.oo net
s.oo ctype.oo vararray.oo varstrin.oo strings.oo system.oo C.oo
tmp_init.o ../e
/error.o ../e/table.o ../e/exptable.o ../e/monordering.o ../e/
complex.o ../e/ran
d.o ../e/NAG.o ../e/points.o ../e/overflow.o ../e/exceptions.o ../e/
imonorder.o
../e/sagbi.o ../e/monideal-minprimes.o ../e/dmat-LU.o ../e/lapack.o ../
e/LLL.o .
./e/fractionfreeLU.o ../e/ntl-interface.o ../e/mat.o ../e/dmat.o ../e/
smat.o ../
e/coeffrings.o ../e/Eschreyer.o ../e/gbweight.o ../e/qring.o ../e/
polyquotient.o
../e/poly.o ../e/debug.o ../e/comp.o ../e/comp-gb.o ../e/comp-gb-
proxy.o ../e/c
omp-gb-declared.o ../e/comp-res.o ../e/res-a0.o ../e/res-a0-poly.o ../
e/res-a1.o
../e/res-a1-poly.o ../e/res-a2.o ../e/reducedgb.o ../e/reducedgb-
field.o ../e/r
educedgb-marked.o ../e/reducedgb-field-local.o ../e/reducedgb-ZZ.o ../
e/montable
.o ../e/montableZZ.o ../e/schorder.o ../e/monorder.o ../e/GF.o ../e/
ZZ.o ../e/QQ
.o ../e/RRR.o ../e/CCC.o ../e/assprime.o ../e/buffer.o ../e/comb.o ../
e/det.o ..
/e/frac.o ../e/freemod.o ../e/gb-default.o ../e/gb-homog2.o ../e/gb-
sugarless.o
../e/gb-toric.o ../e/gb-walk.o ../e/gbring.o ../e/gauss.o ../e/
hermite.o ../e/hi
lb.o ../e/int-bag.o ../e/intarray.o ../e/matrix.o ../e/matrix-con.o ../
e/mem.o .
./e/monideal.o ../e/monoid.o ../e/monomial.o ../e/ntuple.o ../e/
polyring.o ../e/
pfaff.o ../e/relem.o ../e/ring.o ../e/ringmap.o ../e/schur.o ../e/
skew.o ../e/sk

[...]

ewpoly.o ../e/solvable.o ../e/spair.o ../e/text-io.o ../e/
varpower.o ../e/weylal
g.o ../e/ZZp.o ../e/ntl-internal.o ../e/ntl-debugio.o ../e/matrix-
kbasis.o ../e/
matrix-symm.o ../e/matrix-sort.o ../e/ring-vecs.o ../e/res-a2-gb.o ../
e/engine.o
../e/factor.o ../e/x-monom.o ../e/x-monoid.o ../e/x-relem.o ../e/x-
factor.o ../
e/x-free.o ../e/x-mat.o ../e/x-monideal.o ../e/x-gb.o ../e/x-
ringmap.o ../e/x-mu
tablemat.o ../e/f4/f4.o ../e/f4/f4-syz.o ../e/f4/f4-mem.o ../e/f4/f4-
monlookup.
o ../e/f4/f4-types.o ../e/f4/f4-computation.o ../e/f4/f4-spairs.o ../e/
f4/f4-m2-
interface.o ../e/f4/monhashtable.o ../e/f4/monsort.o ../e/f4/
moninfo.o ../e/f4/n
tuple-monomial.o ../e/f4/varpower-monomial.o ../e/f4/gausser.o
M2inits.o -L. -
lfactory_init2 -lfac -lcf -lfactory_init1 -lntl -lgdbm -lgc -lpthread -
lmpfr -lf
robby -lpari -lgmpxx -lgmp -lreadline -lhistory -Wl,-Bstatic -Wl,-
Bdynamic -l
lapack -lblas -lstdc++ -Wl,-Bstatic -Wl,-Bdynamic -lM2inits2
gmp_memory.o -l
m -lc -o "/home/Administrator/m1.2/build/normal/StagingArea/i686-
MicrosoftWindow
s-Cygwin/bin/M2.exe".tmp
/home/Administrator/m1.2/build/normal/libraries/final/lib/libreadline.a
(terminal
.o): In function `_rl_get_screen_size':
/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/term
inal.c:269: undefined reference to `_tgetnum'
/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/term
inal.c:285: undefined reference to `_tgetnum'
/home/Administrator/m1.2/build/normal/libraries/final/lib/libreadline.a
(terminal
.o): In function `_rl_init_terminal_io':
/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/term
inal.c:452: undefined reference to `_tgetent'
/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/term
inal.c:415: undefined reference to `_tgetstr'
/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/term
inal.c:516: undefined reference to `_tgetflag'
/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/term
inal.c:531: undefined reference to `_tgetflag'
/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/term
inal.c:531: undefined reference to `_tgetflag'
/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/term
inal.c:516: undefined reference to `_tgetflag'
/home/Administrator/m1.2/build/normal/libraries/final/lib/libreadline.a
(terminal
.o): In function `_rl_backspace':
/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/term
inal.c:633: undefined reference to `_tputs'
/home/Administrator/m1.2/build/normal/libraries/final/lib/libreadline.a
(terminal

[...]

/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/disp
lay.c:2108: undefined reference to `_tputs'
/home/Administrator/m1.2/build/normal/libraries/final/lib/libreadline.a
(display.
o):/home/Administrator/m1.2/build/normal/libraries/readline/build/
readline-5.2/d
isplay.c:1847: more undefined references to `_tputs' follow
collect2: ld returned 1 exit status

real 0m3.891s
user 0m1.357s
sys 0m0.873s
make[2]: *** [/home/Administrator/m1.2/build/normal/StagingArea/i686-
MicrosoftWi
ndows-Cygwin/bin/M2.exe] Error 1

make[2]: Leaving directory `/home/Administrator/m1.2/build/normal/

Macaulay2/d'
make[1]: *** [all-in-d] Error 2

[Daniel R. Grayson]

You don't have /usr/lib/libncurses.a or /usr/lib/libcurses.a installed, and the
configure script fails to give an error message about it.

[Bjarke Hammersholt Roune]

Thanks for the help! I installed the Cygwin package libncurses-devel,
and then it went ahead after I made it rebuild readline. Now I've got
M2 running.

I got another error, displayed below, though when I did "make install"
again after that, it didn't appear again. I also tried "make check",
and I've included an error I got below in case this is useful for you.

--making example results for ProjectiveHilbertPolynomial ZZ in
file ../../../Sta
gingArea/common/share/doc/Macaulay2/Macaulay2Doc/example-output/
___Projective__H
ilbert__Polynomial_sp__Z__Z.out
cd .; /home/Administrator/m1.2/build/normal/StagingArea/i686-
MicrosoftWindows-Cy
gwin/bin/M2 --silent --print-width 77 --stop --int -q <"/tmp/
M2-2220-1___Project
ive__Hilbert__Polynomial_sp__Z__Z.m2" >>"../../../StagingArea/common/
share/doc/M
acaulay2/Macaulay2Doc/example-output/
___Projective__Hilbert__Polynomial_sp__Z__Z
.errors" 2>&1
../../../../../Macaulay2/m2/debugging.m2:4:17:(0):[10]: error: 1 error
(s) occurr
ed running examples for package Macaulay2Doc
../../../../../Macaulay2/m2/html.m2:781:40:(0):[9]: --back trace--
../../../../../Macaulay2/m2/methods.m2:96:80:(0):[8]: --back trace--
../../../../../Macaulay2/m2/option.m2:8:8:(0):[7]: --back trace--
../../../../../Macaulay2/m2/html.m2:581:6:(0):[6]: --back trace--
../../../../../Macaulay2/m2/methods.m2:96:80:(0):[5]: --back trace--
../../../../../Macaulay2/m2/option.m2:8:8:(0):[4]: --back trace--
currentString:1:1:(1):[3]: --back trace--
../../../../../Macaulay2/m2/methods.m2:327:22:(0):[3]: --back trace--
../../../../../Macaulay2/d/startup.m2.in:512:33:(0):[1]: --back
trace--
../../../../../Macaulay2/d/startup.m2.in:664:1:(0):[0]: --back trace--

make[2]: *** [/home/Administrator/m1.2/build/normal/StagingArea/i686-
MicrosoftWi

ndows-Cygwin/lib/Macaulay2/Macaulay2Doc/.installed] Error 1

make[2]: Leaving directory `/home/Administrator/m1.2/build/normal/

Macaulay2/pack
ages'
make[1]: *** [all-in-packages] Error 2

make[1]: Leaving directory `/home/Administrator/m1.2/build/normal/
Macaulay2'
make: *** [all-in-Macaulay2] Error 2
make: Leaving directory `/home/Administrator/m1.2/build/normal'

I then tried "make check", which gave me the error

make -C packages/Macaulay2Doc/test check

make[2]: Entering directory `/home/Administrator/m1.2/build/normal/

Macaulay2/pac
kages/Macaulay2Doc/test'
testing: ../../../../../../Macaulay2/packages/Macaulay2Doc/test/0-
homog.m2
0-homog.errors:0: error output left here for the errors above:
make[2]: *** [0-homog.out] Error 127

make[2]: Leaving directory `/home/Administrator/m1.2/build/normal/

Macaulay2/pack
ages/Macaulay2Doc/test'
make[1]: *** [check-in-packages/Macaulay2Doc/test] Error 2

make[1]: Leaving directory `/home/Administrator/m1.2/build/normal/
Macaulay2'

make: *** [check-in-Macaulay2] Error 2
make: Leaving directory `/home/Administrator/m1.2/build/normal'

doing cat Macaulay2/packages/Macaulay2Doc/test/0-homog.errors provided
the output


--*- compilation -*-
/bin/sh: line 3: time: command not found

I clearly do have the command "time" on my system, though, and in the
course of testing M2 even prints the output of time for some of the
tests.

[Daniel R. Grayson]

If you're compiling from 1.2 there should be no tests failing, but if you're
compiling from the trunk, there may be some tests failing, as code is under
development there, and we'll run into them ourselves. On the other hand, that
particular test is working here:

i1 : P = projectiveHilbertPolynomial 2

o1 = P
2

o1 : ProjectiveHilbertPolynomial

i2 : apply(0 .. 12, i -> P i)

o2 = (1, 3, 6, 10, 15, 21, 28, 36, 45, 55, 66, 78, 91)

o2 : Sequence

As for the time command, there are two of them: the shell built-in, and the
program /usr/bin/time. Perhaps it's the latter which is missing from your
system.

[Bjarke Hammersholt Roune]

I can confirm that I didn't have the gnu time utility installed. I'm
rerunning the tests, but it was probably that. I couldn't find 1.2 in
your stable directory, and I actually don't remember where I did find
it instead. I think it was trunk from a few days ago, but I'm not
sure.

In case someone else wants to compile M2 on Cygwin, here are a few
notes, in addition to what can be gleaned from the above discussion:

I got this error from Macaulay 2 when it downloaded Frobby and tried
to patch it:

cd build && patch -p0 --ignore-whitespace </home/Administrator/m1.2/
build/normal
/../../libraries/frobby/patch-mike3
patching file frobby_vmike3/Makefile
patching file frobby_vmike3/src/NullCoefTermConsumer.h
Hunk #1 FAILED at 19.
1 out of 1 hunk FAILED -- saving rejects to file frobby_vmike3/src/
NullCoefTermC
onsumer.h.rej

I ran dos2unix on the downloaded Frobby source, which didn't help, but
it worked when I did dos2unix on the patch files in libraries/frobby/*

I downloaded the Cygwin byacc and had to do

ln /usr/bin/byacc.exe /usr/bin/yacc.exe

to get it working, since byacc gives a byacc command, not a yacc
command as expected by M2.

Here are some packages I installed from Cygwin to make the build go
through:

wget
flex
diffutils
make
gcc-fortran
gcc-g++
libncurses-devel
time

Cheers
Bjarke

[Daniel R. Grayson]

> I couldn't find 1.2 in your stable directory

Oops, what we were working on in

svn://macaulay2.math.uiuc.edu/Macaulay2/release-branches/1.2

has stabilized, so I just now made a copy of it in

svn://macaulay2.math.uiuc.edu/Macaulay2/stable/2009-02-18-1.2/

[Daniel R. Grayson]

> Date: Sat, 6 Jun 2009 12:28:33 -0700 (PDT)
> Subject: [Macaulay2] Re: Compiling on Cygwin

> From: Bjarke Hammersholt Roune <bjarke...@gmail.com>

> To: Macaulay2 <maca...@googlegroups.com>
> Reply-To: maca...@googlegroups.com
...

>
> I downloaded the Cygwin byacc and had to do
>
> ln /usr/bin/byacc.exe /usr/bin/yacc.exe
>
> to get it working, since byacc gives a byacc command, not a yacc
> command as expected by M2.

The documentation for the "configure" program we use says this:

-- Macro: AC_PROG_YACC
If `bison' is found, set output variable `YACC' to `bison -y'.
Otherwise, if `byacc' is found, set `YACC' to `byacc'. Otherwise
set `YACC' to `yacc'.

so I would expect that to work just fine with byacc. Maybe you installed byacc
only after running M2's configure script.

[Bjarke Hammersholt Roune]

>  Maybe you installed byacc
> only after running M2's configure script.
>

That is true.