Multiple changes: changes in build system, one workaround and one bug fix
[libdai.git] / Makefile.WINDOWS64
2012-09-17 Joris MooijOops, forgot a file in the last commit...