diff options
| author | Roberto Bagnara <bagnara@cs.unipr.it> | 2012-03-17 15:22:27 +0100 |
|---|---|---|
| committer | Roberto Bagnara <bagnara@cs.unipr.it> | 2012-03-17 15:22:27 +0100 |
| commit | 487f91a9655fe5d7fec77b4d24475bd639fa7f75 (patch) | |
| tree | 6dd5c102228b3fbeb2bf3c7cd7a55bb6eb144782 /README.configure | |
| parent | f6e62b0264bbfd0fb9090621fe13ccabbd7ac928 (diff) | |
| download | ppl-487f91a9655fe5d7fec77b4d24475bd639fa7f75.tar.gz ppl-487f91a9655fe5d7fec77b4d24475bd639fa7f75.tar.bz2 ppl-487f91a9655fe5d7fec77b4d24475bd639fa7f75.zip | |
Updated: we no longer use CVS.
Diffstat (limited to 'README.configure')
| -rw-r--r-- | README.configure | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/README.configure b/README.configure index f4f118eae..698736003 100644 --- a/README.configure +++ b/README.configure @@ -17,7 +17,7 @@ Contents 6. Configuring for Optimized Performance 7. Configuring for Debugging 8. Programs that Come with the Library -9. Using the CVS Sources +9. Using the Git Sources 1. The Standard Thing (configure, make, make install) @@ -437,11 +437,11 @@ In exchange, you will give up an important opportunity to discover whether the version of PPL you have built has been miscompiled. -9. Using the CVS Sources +9. Using the Git Sources ------------------------ -If you use the CVS sources, then you need recent versions of Autoconf -Automake and Libtool installed. After a `cvs checkout' or `cvs update' +If you use the Git sources, then you need recent versions of Autoconf +Automake and Libtool installed. After a `git clone' or `git pull' you should run the `autoreconf' command. In case you have fiddled around with some of the configuration files, or if you have problems you cannot explain otherwise, use `autoreconf -f'. |