cd BDDc
make 64
cd ../BDDXc
make 64
cd ../BDD+
make 64
cd ..

