Changeset 3970 for trunk/configs
- Timestamp:
- 12/20/07 10:18:21 (13 months ago)
- Files:
-
- 1 modified
-
trunk/configs/NOTES.txt (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/NOTES.txt
r3941 r3970 107 107 will look like (in the Unix version): 108 108 109 :- ['$LOGTALK HOME/configs/bin.config'].109 :- ['$LOGTALKUSER/configs/bin.config']. 110 110 :- ['$LOGTALKHOME/compiler/logtalk.pl']. 111 111 112 :- ['$LOGTALK HOME/examples/metapredicates/meta.pl'].113 :- ['$LOGTALK HOME/examples/metapredicates/sort1.pl'].112 :- ['$LOGTALKUSER/examples/metapredicates/meta.pl']. 113 :- ['$LOGTALKUSER/examples/metapredicates/sort1.pl']. 114 114 ... 115 115 … … 159 159 160 160 There are two configs files for this compiler. The first one, named 161 "eclipse.config", should be used when, for some reason, wedon't want161 "eclipse.config", should be used when, for some reason, you don't want 162 162 to load the "iso" library. The second file, "eclipseiso.config" contains 163 163 a call to load the "iso" library. Both config files may be used with 164 ECLiPSe 5.10 or later version.165 166 You should use the eclipseiso.configwhenever possible. The alternative164 ECLiPSe 5.10#26 or later versions. 165 166 You should use the "eclipseiso.config" whenever possible. The alternative 167 167 config file may not contain all the needed definitions for ISO Prolog 168 168 predicates that are needed for compiling Logtalk itself, the Logtalk … … 388 388 file: 389 389 390 :- compile('$LOGTALK HOME/configs/sicstus.config').390 :- compile('$LOGTALKUSER/configs/sicstus.config'). 391 391 :- compile('$LOGTALKHOME/compiler/logtalk.pl'). 392 392 … … 422 422 the following lines to your pl.ini (on Windows): 423 423 424 :- ['drive:\\path to logtalk installation\\configs\\swi.config'].424 :- ['drive:\\path to logtalk user folder\\configs\\swi.config']. 425 425 :- ['drive:\\path to logtalk installation\\compiler\\logtalk.pl']. 426 426 427 427 or to your .plrc (on MacOS X, Linux, Unix, and similar systems): 428 428 429 :- ['$LOGTALK HOME/configs/swi.config'].429 :- ['$LOGTALKUSER/configs/swi.config']. 430 430 :- ['$LOGTALKHOME/compiler/logtalk.pl']. 431 431
