Fix installation on Windows.
tree5d91a1895f4ed360a1a715c915ecc719b15ab21f
-rw-r--r-- 105 .gitignore
-rw-r--r-- 17987 COPYING
-rw-r--r-- 200 INSTALL
-rw-r--r-- 1815 install.gpr
-rw-r--r-- 2953 makefile
-rw-r--r-- 589 morzhol.check
-rw-r--r-- 4266 morzhol.gpr
drwxr-xr-x - src
drwxr-xr-x - test