Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/lamont/make.sh
ViewVC logotype

Diff of /branches/lamont/make.sh

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2315, Thu Mar 21 15:48:30 2013 UTC revision 3282, Tue Oct 13 19:46:34 2015 UTC
# Line 13  Line 13 
13  echo ======== configure --with-teem=/Users/gk/diderot/teem  echo ======== configure --with-teem=/Users/gk/diderot/teem
14  echo ======== configure --with-teem=/Users/gk/diderot/teem  echo ======== configure --with-teem=/Users/gk/diderot/teem
15  echo ======== configure --with-teem=/Users/gk/diderot/teem  echo ======== configure --with-teem=/Users/gk/diderot/teem
16  ./configure --with-teem=/usr/local/teem SMLNJ_CMD=/usr/local/smlnj/bin/sml  ./configure --with-teem=/Users/lamont/teem-install SMLNJ_CMD=/usr/local/smlnj/bin/sml
17    
18  echo ======== make clean  echo ======== make clean
19  echo ======== make clean  echo ======== make clean

Legend:
Removed from v.2315  
changed lines
  Added in v.3282

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0