ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.
http://ibex-team.github.io/ibex-lib/
GNU Lesser General Public License v3.0
69 stars 51 forks source link

le plugin ampl ne fonctionne plus #218

Closed bneveu closed 8 years ago

bneveu commented 8 years ago

depuis la version 2.3, on ne plus faire de waf configure et de waf install avec with--ampl

./waf configure --with-soplex=/certis/3/neveub/RECHERCHE/soplex/soplex-1.7.2 --with-ampl --with-gaol= --prefix=. --with-affine --with-optim

il ya les messages suivants dans waf configure Configure the AMPL plugin Checking for header asl.h : not found Checking for header arith.h : not found Checking for library ['amplsolver'] : not found Unpacking amplsolvers.tar.gz

et ensuite plantage dans waf install ./waf install Waf: Entering directory /home/bertrand/ibex/ibex2-2/ibex-lib/examples/ibex2-3/ibex-lib/__build__' Build the Affine Arithmetic plugin Build the AMPL plugin Entering '/home/bertrand/ibex/ibex2-2/ibex-lib/examples/ibex2-3/ibex-lib/__build__/plugins/ampl/solvers' cc -c -O -DNo_dtoa -m32 -DASL_NO_FPINITMT fpinit.c cat stdio1.h0 >stdio1.h cc -O -DNo_dtoa -m32 arithchk.c fpinit.o -lm ||\ cc -DNO_LONG_LONG -O -DNo_dtoa -m32 arithchk.c fpinit.o -lm ||\ cc -DNO_SSIZE_T -O -DNo_dtoa -m32 arithchk.c fpinit.o -lm ||\ cc -DNO_SSIZE_T -DNO_SSIZE_T -O -DNo_dtoa -m32 arithchk.c fpinit.o -lm ./a.out >arith.h rm -f a.out arithchk.o fpinit.o sed "s!System_details!uname -sm`!" details.c0 >details.c cc -c -O -DNo_dtoa -m32 funcadd0.c cc -c -O -DNo_dtoa -m32 asldate.c atof.c auxinfo.c avltree.c b_search.c basename.c bscanf.c com2eval.c comeval.c con1ival.c con2ival.c con2val.c conadj.c conpval.c conscale.c conval.c degree.c derprop.c details.c dtoa1.c duthes.c dynlink.c f_read.c fg_read.c fg_write.c fgh_read.c fpecatch.c fpinit.c fullhes.c func_add.c funcadd1.c g_fmt.c genrowno.c getenv.c getstub.c htcl.c indic_cons.c jac0dim.c jac2dim.c jacdim.c jacinc.c jacinc1.c libnamsave.c mach.c mainexit.c mip_pri.c misc.c mpec_adj.c mqpcheckv.c mypow.c names.c nl_obj.c nqpcheck.c nqpcheckZ.c obj2val.c obj_adj.c objprec.c objconst.c objval.c objval.c op_type.c pfg_read.c pfghread.c printf.c pshvprod.c punknown.c qp_read.c qpcheck.c qpcheckZ.c qsortv.c readsol.c repwhere.c rops.c rops2.c sigcatch.c sos_add.c sphes.c sscanf.c stderr.c studchk0.c sufsos.c value.c writesol.c wrtsol.c ws_desc.c wsu_desc.c x2check.c xectim.c xp1known.c xp2known.c dtoa1.c:118:1: error: expected identifier or ‘(’ before ‘{’ token { ^ make: *\ [libamplsolver.a] Error 1

Jordan08 commented 8 years ago

The bug is in dtoa1.c in amplsolvers.tar.gz There is some trouble when "No_dtoa" is defined.

gchabert commented 8 years ago

Maybe an indication... I finally managed to reproduce this problem by using "--with-optim" and "--with-ampl" simultaneously. So the problem is possibly related to the combination of these two plugins.