Downloading Decaf
Decaf is provided as a Zip archive containing source files and
documentation; no binary distribution available.
Click Here
to load it (around 100k).
Installation Notes
Once you have uncompressed all files, you should rename files if your
platform allows more than 8 characters long names (utility files are
provided). Installation is then completed with a Gnatmake instruction.
- Unix :
- Run the
to_unix file to get complete file names (chmod +x to_unix is necessary)
- Use
gnatmake decaf to compile and bind Decaf (use option -k8 if you keep short file names)
- Add decaf to your path :
set path=(yourpath/decaf $path)
- Adjust the Gnat Paths :
setenv ADA_INCLUDE_PATH yourpath/decaf:$ADA_INCLUDE_PATH
setenv ADA_OBJECTS_PATH yourpath/decaf:$ADA_OBJECTS_PATH
- DOS :
- Use
gnatmake decaf to compile and bind Decaf
- Add decaf to your path :
set PATH=%PATH%;c:\decaf
- Adjust the Gnat Paths :
set ADA_INCLUDE_PATH=c:/decaf;%ADA_INCLUDE_PATH%
set ADA_OBJECTS_PATH=c:/decaf;%ADA_OBJECTS_PATH%
- Windows 95 and NT (Gnat 3.04 problem under Windows 95) :
- Run the
to_unix.bat file to get complete file names (you should edit and save the file before)
- Use
gnatmake decaf to compile and bind Decaf
- Add decaf to your path :
set PATH=%PATH%;c:\decaf
- Adjust the Gnat Paths :
set ADA_INCLUDE_PATH=c:/decaf;%ADA_INCLUDE_PATH%
set ADA_OBJECTS_PATH=c:/decaf;%ADA_OBJECTS_PATH%
Gilles Demailly
- Last update September 19th, 1996
