2.12.2021, 9:00 - 11:00: Due to updates GitLab may be unavailable for some minutes between 09:00 and 11:00.

Commit 2773722a authored by Mahmoud Mahmoud's avatar Mahmoud Mahmoud
Browse files

make for windows x64

parent 6c18e7a0
%
% makewin.m
%
% created on: 08.01.2018
% author: rungger
%
% This file builds the mex executables for the interface
% the supplied proted CUDD library is buyilt for Release/x64
% If your Matlab is 32bits, this will not work. Contact me to
% supply the 32bit version.
%
%
clear all;
delete mexSymbolicSet.mex*
% the ported CUDD
cuddProjPath = fullfile('.','cuddwin64');
cuddIncPath = fullfile(cuddProjPath, 'include');
cuddLibPath = fullfile(cuddProjPath, 'lib', 'CUDD.lib');
% path of includes
ipath_bdd = ['-I' fullfile('..','..','bdd')];
ipath_cudd = ['-I' cuddIncPath];
% linking with CUDD. You need to have the library in the path
linkcudd = ['-l' cuddLibPath];
mex('-v',ipath_bdd, ipath_cudd, linkcudd , 'mexSymbolicSet.cc')
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment