Using LPL under Linux with help of Wine

This page is about how to use the logic courseware LPL under Linux. This is done with help of Wine, which provides a Windows API under Linux. I am using LPL in a logic course, and the students successfully use LPL under Linux (including submitting solutions of exercises with submit).

You have to follow the follwing steps:

Copy the folder "LPL Software" from the LPL CD to your hard disk
Download Wine, e.g. from here. You can either
- compile Wine from the sources (preferably a late version via CVS).
- Or you can install a precompiled binary.
Be sure that your .wine/config file contains a drive from which the folder "LPL Software" is accessible. E.g. add something like
```
[Drive Y]
"Path" = "//usr/local/LPL/LPL Software"
"Type" = "hd"
"Filesystem" = "win95"
```
Be sure that the following true type fonts are in the windows/Fonts directory of your fake windows.
Install the following pixel fonts by unpacking them (with tar xzvf) and then adding them to your font directory, typically /usr/X11R6/lib/X11/fonts/misc/, and the run mkfontdir. If you do not have root rights for your Linux installation, put them into some other directory, say, fonts, and then do the following:
```
mkfontdir fonts
xset +fp fonts
xset fp rehash
```

If dir is the folder containing the folder "LPL Software", you should now be able to call the LPL programs via

wine dir/LPL\ Software/Tarski\'s\ World\ Folder/Tarski5.exe
wine dir/LPL\ Software/Fitch\ Folder/FITCH.EXE
wine dir/LPL\ Software/Boole\ Folder/Boole.EXE
wine dir/LPL\ Software/Submit\ Folder/SUBMIT.EXE

It may be advisable to filter the output, like

wine dir/LPL\ Software/Tarski\'s\ World\ Folder/Tarski5.exe 2>&1 |grep -v fixme

Known problems:

You have to add extensions (.sen, .wld, .prf) explicitly when storing files.
In Fitch, the focus slider is not displayed - but it is there invisibly and can be used to move the focus. Alternatively, you can use the arrow keys to move the focus.
Sometimes Fitch hangs, and can be recovered with Crtl-A Crtl-D (actually, this problem also occurs when running Fitch under Windows).
From time to time, the programs may crash. Type "pkill -9 wine" to kill wine.
help screens do not work.
Suse 8.0: wine does not start, since some X fonts cause it to crash.
It seems that fitch runs more stable with kde than with gnome.

Contact: Till Mossakowski