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?

Afficher les réponses par date

4407
Age (days ago)
4407
Last active (days ago)

gambit-list@iro.umontreal.ca

0 commentaires
1 participants

Ajouter aux marque-pages Supprimer des marque-pages

étiquettes (0)
participants (1)
  • Mikael