Closed ErikLambrechts closed 5 years ago
Op welke branch ben je aan het werken
Heb je ook tdzdd gepullt
Bovendien hebben we die functie ook nergens nodig. Wat voor een fout krijg je?
op develop
Ik heb je repo van tdzdd
gepulled in third_party
Wat voor een fout krijg je?
Is je makefile aangepast?
ik was even in de war en als test heb ik ook even een nieuwe clone gemaakt.
In de cmakelist.txt gebruik je ExternalProject_Add
voor je branch van tdzdd te gebruiken. Hier krijg ik
fatal error: tdzdd/DdStructure.hpp: No such file or directory
#include <tdzdd/DdStructure.hpp>
we hebben een probleem omdat externalproject de repo niet download. Ik weet nog niet hoe dat komt.
Ik heb nu wel een andere module gebruikt om de repo tdzdd te krijgen, maar ik krijg steeds linking errors die ik nog niet heb opgelost. Ik zal ze zovlug mogelijk oplossen.
Ik heb het probleem gevonden. Ik zal vanavond pushen. Normaal gezien ga je nu geen problemen mogen hebben.
super
Ik heb het zojuist getest en het zou moeten werken als gurobi en andere dingen in orde zijn. Je zou geen problemen mogen hebben met tdzdd library. Die wordt automatisch gedownload als je een build directory aanmaakt met cmake.
is het mogelijk dat de definitie van
evaluate_forward_DP
nog niet gepushed is op develop