How reset Gambit source dir? I.e. you did tar xvfz gambc*.tar.gz; cd gambc*; ./configure args; make and now you want to configure or make from scratch, what make command to use?

Show replies by date

4865
Age (days ago)
4865
Last active (days ago)

gambit-list@iro.umontreal.ca

0 comments
1 participants

Add to favorites Remove from favorites

tags (0)
participants (1)
  • Mikael