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
67 stars 51 forks source link

compilation avec waf ne marche plus dans branche develop (erreur avec java ?) #504

Open bneveu opened 3 years ago

bneveu commented 3 years ago

Je n'arrive plus a compiler la branche develop avec waf

./waf configure --prefix=. --with-optim-extra
'configure' finished successfully (24.902s) ./waf install [198/213] Compiling build/src/java/ibex_Java.cpp src/java/ibex_Java.cpp:11:10: fatal error: _Ibex.h: No such file or directory 11 | #include "_Ibex.h" | ^~~~~ compilation terminated.

Waf: Leaving directory `/home/neveub/ibex-lib/build' Broken revdeps detected on { {task 140030069770832: cxxstlib ibex_IntervalLibWrapper.cpp.4.o,ibex_LPLibWrapper.cpp.4.o,ibex_Affine2_fAF2.cpp.4.o,ibex_Affine3_fAFFullI.cpp.4.o,ibex_AffineEval.cpp.4.o,ibex_LinearizerAffine2.cpp.4.o,ibex_AmplInterface.cpp.4.o,ibex_Optimizer04Config_Affine.cpp.4.o,ibex_Dim.cpp.4.o,ibex_DoubleIndex.cpp.4.o,ibex_InnerArith.cpp.4.o,ibex_Interval.cpp.4.o,ibex_IntervalMatrix.cpp.4.o,ibex_IntervalVector.cpp.4.o,ibex_Matrix.cpp.4.o,ibex_SetMembership.cpp.4.o,ibex_Vector.cpp.4.o,ibex_Bsc.cpp.4.o,ibex_LSmear.cpp.4.o,ibex_LargestFirst.cpp.4.o,ibex_OptimLargestFirst.cpp.4.o,ibex_RoundRobin.cpp.4.o,ibex_SmearFunction.cpp.4.o,ibex_Cell.cpp.4.o,ibex_CellBeamSearch.cpp.4.o,ibex_CellBuffer.cpp.4.o,ibex_CellCostFunc.cpp.4.o,ibex_CellHeap.cpp.4.o,ibex_CellList.cpp.4.o,ibex_CellStack.cpp.4.o,ibex_QInter.cpp.4.o,ibex_Ctc.cpp.4.o,ibex_Ctc3BCid.cpp.4.o,ibex_CtcAcid.cpp.4.o,ibex_CtcCompo.cpp.4.o,ibex_CtcEmpty.cpp.4.o,ibex_CtcExist.cpp.4.o,ibex_CtcFixPoint.cpp.4.o,ibex_CtcForAll.cpp.4.o,ibex_CtcFwdBwd.cpp.4.o,ibex_CtcHC4.cpp.4.o,ibex_CtcIdentity.cpp.4.o,ibex_CtcInteger.cpp.4.o,ibex_CtcInverse.cpp.4.o,ibex_CtcKuhnTucker.cpp.4.o,ibex_CtcKuhnTuckerLP.cpp.4.o,ibex_CtcLinearRelax.cpp.4.o,ibex_CtcNewton.cpp.4.o,ibex_CtcNotIn.cpp.4.o,ibex_CtcOptimShaving.cpp.4.o,ibex_CtcPolytopeHull.cpp.4.o,ibex_CtcPropag.cpp.4.o,ibex_CtcQInter.cpp.4.o,ibex_CtcQuantif.cpp.4.o,ibex_CtcUnion.cpp.4.o,ibex_Cov.cpp.4.o,ibex_CovIBUList.cpp.4.o,ibex_CovIUList.cpp.4.o,ibex_CovList.cpp.4.o,ibex_CovManifold.cpp.4.o,ibex_CovOptimData.cpp.4.o,ibex_CovSolverData.cpp.4.o,ibex_CompiledFunction.cpp.4.o,ibex_Eval.cpp.4.o,ibex_Fnc.cpp.4.o,ibex_FncProj.cpp.4.o,ibex_Function.cpp.4.o,ibex_FunctionBuild.cpp.4.o,ibex_Gradient.cpp.4.o,ibex_HC4Revise.cpp.4.o,ibex_InHC4Revise.cpp.4.o,ibex_NumConstraint.cpp.4.o,ibex_VarSet.cpp.4.o,ibex_Java.cpp.4.o,ibex_LoupFinder.cpp.4.o,ibex_LoupFinderCertify.cpp.4.o,ibex_LoupFinderDefault.cpp.4.o,ibex_LoupFinderDuality.cpp.4.o,ibex_LoupFinderFwdBwd.cpp.4.o,ibex_LoupFinderInHC4.cpp.4.o,ibex_LoupFinderProbing.cpp.4.o,ibex_LoupFinderXTaylor.cpp.4.o,ibex_Certificate.cpp.4.o,ibex_Kernel.cpp.4.o,ibex_LPSolver.cpp.4.o,ibex_Linear.cpp.4.o,ibex_Linearizer.cpp.4.o,ibex_LinearizerCompo.cpp.4.o,ibex_LinearizerDuality.cpp.4.o,ibex_LinearizerFixed.cpp.4.o,ibex_LinearizerXTaylor.cpp.4.o,ibex_Newton.cpp.4.o,ibex_atanhc.cpp.4.o,ibex_atanhccc.cpp.4.o,ibex_crossproduct.cpp.4.o,ibex_sinc.cpp.4.o,ibex_trace.cpp.4.o,ibex_BxpMultipliers.cpp.4.o,ibex_BxpOptimData.cpp.4.o,ibex_DefaultOptimizerConfig.cpp.4.o,ibex_LineSearch.cpp.4.o,ibex_Optimizer.cpp.4.o,ibex_Optimizer04Config.cpp.4.o,ibex_UnconstrainedLocalSearch.cpp.4.o,ibex_P_CtrGenerator.cpp.4.o,ibex_P_Expr.cpp.4.o,ibex_P_ExprGenerator.cpp.4.o,ibex_P_ExprPrinter.cpp.4.o,ibex_P_NumConstraint.cpp.4.o,ibex_P_Scope.cpp.4.o,ibex_P_Source.cpp.4.o,ibex_P_Struct.cpp.4.o,ibex_P_SysGenerator.cpp.4.o,ibex_SyntaxError.cpp.4.o,ibex_PdcAnd.cpp.4.o,ibex_PdcCleared.cpp.4.o,ibex_PdcDiameterLT.cpp.4.o,ibex_PdcFirstOrder.cpp.4.o,ibex_PdcFwdBwd.cpp.4.o,ibex_PdcHansenFeasibility.cpp.4.o,ibex_PdcImageSubset.cpp.4.o,ibex_PdcNo.cpp.4.o,ibex_PdcNot.cpp.4.o,ibex_PdcOr.cpp.4.o,ibex_PdcYes.cpp.4.o,ibex_Sep.cpp.4.o,ibex_SepBoundaryCtc.cpp.4.o,ibex_SepCtcPair.cpp.4.o,ibex_SepFwdBwd.cpp.4.o,ibex_SepInter.cpp.4.o,ibex_SepInverse.cpp.4.o,ibex_SepNot.cpp.4.o,ibex_SepQInter.cpp.4.o,ibex_SepUnion.cpp.4.o,ibex_Set.cpp.4.o,ibex_SetBisect.cpp.4.o,ibex_SetConnectedComponents.cpp.4.o,ibex_SetInterval.cpp.4.o,ibex_SetLeaf.cpp.4.o,ibex_SetNode.cpp.4.o,ibex_SetValueNode.cpp.4.o,ibex_DefaultSolver.cpp.4.o,ibex_Solver.cpp.4.o,ibex_BoxProperties.cpp.4.o,ibex_BxpActiveCtr.cpp.4.o,ibex_BxpActiveCtrs.cpp.4.o,ibex_BxpLinearRelaxArgMin.cpp.4.o,ibex_BxpSystemCache.cpp.4.o,ibex_Paver.cpp.4.o,ibex_SetImage.cpp.4.o,ibex_CmpOp.cpp.4.o,ibex_Expr.cpp.4.o,ibex_Expr2DAG.cpp.4.o,ibex_Expr2Minibex.cpp.4.o,ibex_Expr2Polynom.cpp.4.o,ibex_ExprCmp.cpp.4.o,ibex_ExprCopy.cpp.4.o,ibex_ExprDiff.cpp.4.o,ibex_ExprFuncDomain.cpp.4.o,ibex_ExprLinearity.cpp.4.o,ibex_ExprMonomial.cpp.4.o,ibex_ExprOccCounter.cpp.4.o,ibex_ExprOperators.cpp.4.o,ibex_ExprPolynomial.cpp.4.o,ibex_ExprPrinter.cpp.4.o,ibex_ExprSimplify.cpp.4.o,ibex_ExprSimplify2.cpp.4.o,ibex_ExprSize.cpp.4.o,ibex_ExprSubNodes.cpp.4.o,ibex_InputNodeMap.cpp.4.o,ibex_ExtendedSystem.cpp.4.o,ibex_FncActiveCtrs.cpp.4.o,ibex_FncKuhnTucker.cpp.4.o,ibex_KuhnTuckerSystem.cpp.4.o,ibex_NormalizedSystem.cpp.4.o,ibex_System.cpp.4.o,ibex_SystemFactory.cpp.4.o,ibex_SystemMerge.cpp.4.o,ibex_Agenda.cpp.4.o,ibex_BitSet.cpp.4.o,ibex_DirectedHyperGraph.cpp.4.o,ibex_Exception.cpp.4.o,ibex_HyperGraph.cpp.4.o,ibex_Id.cpp.4.o,ibex_Memory.cpp.4.o,ibex_Random.cpp.4.o,ibex_String.cpp.4.o,ibex_Timer.cpp.4.o,lexer.lex.cc.4.o,parser.tab.cc.4.o -> libibex.a},
{task 140030069770944: inst libibex.a -> libibex.a},
{task 140030070731936: cxxprogram optimizer04.cpp.1.o -> optimizer04},
{task 140030070732832: inst optimizer04 -> optimizer04},
{task 140030069954704: cxxprogram ibexsolve.cpp.6.o -> ibexsolve},
{task 140030069954928: inst ibexsolve -> ibexsolve},
{task 140030069955152: cxxprogram ibexopt.cpp.7.o -> ibexopt},
{task 140030069955264: inst ibexopt -> ibexopt}}

bneveu commented 3 years ago

J'arrive à recompiler avec waf si j'enlève le répertoire java (dont je n'ai pas besoin) de src.

La compilation avec waf est-elle maintenue ou sinon, où en est le package ibex-ampl, qui manque pour la compilation avec cmake ?

gchabert commented 3 years ago

Effectivement, la compilation avec waf ne sera plus maintenue après la 2.8.9, je vais retirer tous les scripts. Donc sur la branche develop il ne faut déjà plus compiler qu'avec cmake.

bneveu commented 3 years ago

Il faudrait donc terminer le package ibex-ampl avec cmake, pour qu'on puisse continuer à faire tourner les benchs coconut serie2

Buronn commented 1 year ago

Same error here.

src/java/ibex_Java.cpp:11:10: fatal error: _Ibex.h: No such file or directory
   11 | #include "_Ibex.h"
      |          ^~~~~~~~~
compilation terminated.