[gecode-users] Multiple specification files

Christian Schulte cschulte at kth.se
Fri Sep 18 11:02:39 CEST 2015


The crucial thing here is to run make (for example, make depend). Only then the files will be re-generated!

 

Cheers

Christian

 

--

Christian Schulte,  <http://www.gecode.org/~schulte> www.gecode.org/~schulte 

Professor of Computer Science, KTH,  <mailto:cschulte at kth.se> cschulte at kth.se

Expert Researcher, SICS,  <mailto:cschulte at sics.se> cschulte at sics.se

 

From: Christian Schulte [mailto:cschulte at kth.se] 
Sent: Thursday, September 17, 2015 10:29 AM
To: 'Patrik Broman' <reg at patrikbroman.se>; 'users at gecode.org' <users at gecode.org>
Subject: RE: [gecode-users] Multiple specification files

 

Hi Patrik,

 

Just use a comma to separate:

               ./configure –with-vis=var1.vis,var2.vis

 

If things seem to not work there is the following trick by removing the following files:

               rm gecode/kernel/var-type.hpp gecode/kernel/var-imp.hpp

When typing make these files will be re-generated (you can have a look and see that your stuff will show up in these files).

 

Cheers

Christian

 

--

Christian Schulte,  <http://www.gecode.org/~schulte> www.gecode.org/~schulte 

Professor of Computer Science, KTH,  <mailto:cschulte at kth.se> cschulte at kth.se

Expert Researcher, SICS,  <mailto:cschulte at sics.se> cschulte at sics.se

 

From: users-bounces at gecode.org <mailto:users-bounces at gecode.org>  [mailto:users-bounces at gecode.org] On Behalf Of Patrik Broman
Sent: Wednesday, September 16, 2015 05:30 PM
To: users at gecode.org <mailto:users at gecode.org> 
Subject: [gecode-users] Multiple specification files

 

Apparently I posted from wrong address first time.


Anyway. I'm creating a two new data types. Is there a good way to use them both at the same time? 

I have tried

./configure --with-vis=var1.vis --with-vis=var2.vis

and
./configure --with-vis=var1.vis var2.vis

regards

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20150918/bab75e29/attachment.html>


More information about the users mailing list