WAMCC版本2.22——说明书

http://cri-dist.univ-paris1.fr/diaz/wamcc/README

WAMCC版本2.22

 ------------------
0 - WRT 2.2的主要变化
-----------------------
Linux下的内存管理错误修正
其他的一些小错误已得到修复
端口到NEXT站
为DecAlpha港

介绍
---------------
wamcc是一个Prolog编译器转换通过WAM的Prolog到C。
wamcc有语法符合ISO标准的建议。
wamcc提供最常用的内置谓词，顶层，一个序言
调试器和一个WAM调试器，动态的和编译的代码，模块，
全局变量，全局数组...).
wamcc的设计很容易地扩展（如电（FD）是一种约束
逻辑语言wamcc设计的有限域）。
从效率的角度，wamcc之间SICStus“仿效”
和SICStus Sparc机器上的“本机代码”（快1.5倍，比SICStus
效仿，SICStus“本地代码”）慢1.5倍。

二，需求
----------------
wamcc reguires GNU C编译器（GCC）2.4.5或更高版本，并
适用于：
    - SUN SPARC（4.3.1）在SunOS
    - 十二月Ultrix上
    - 索尼MIPS（R3000）
    - 电脑i386/i486（a.out和ELF）Linux下
     （许多感谢比尔霍根和汉斯卢巴）
    - 站（处理器M68K或HPPA）
    - DEC ALPHA（需要GCC 2.5.8或更高版本）下的OSF / 1 V2.0
     （许多Jarle Hulaas感谢）
三，安装
-----------------
创建一个目录
   ％MKDIR wamcc（或其他）
选择它作为当前目录
   ％CD wamcc
解压缩分发
   ％zcat与wamcc2.22.tar.Z | tar xvf命令 -
（％gzcat wamcc2.22.tar.gz | tar xvf命令 - 如果用gzip压缩）
安装过程的安装wamcc在本地路径
在Makefile ROOTPATH​​（默认：$（HOME）/ wamcc）后，其副本3目录给予相应的文件

   INCPATH：包括汇编（默认：$（ROOTPATH​​）/）
   LIBPATH：编译库（默认：$（ROOTPATH​​）/ LIB）
   BINPATH：可执行文件（compiler. ..）（默认：$（ROOTPATH​​）/ BIN）

只有这3个目录是安装后的必要条件。

因此，如有必要，修改Makefile中根据这些变量
哪种安装你想要的（如果你只想要一个地方
安装不修改任何）。

   例如：ROOTPATH​​ =的/ usr /本地/ LIB / wamcc或

   例如：ROOTPATH​​ = $（HOME）/的prolog
       INCPATH =的/ usr / local / lib目录/包括
       LIBPATH = / USR /地方/ lib目录
       INCPATH = / usr / local / bin中中

然后安装编译器
   ％使

添加到PATH环境变量（通常在〜/。登录）
相应BINPATH如果必要的目录（见的Makefile）

   EX的setenv PATH“$ PATH”：/ USR /地方/ LIB / wamcc /斌

注：文件src / Makefile中inherites INCPATH和LIBPATH，从。
      “根”的Makefile。所以，如果你直接运行这个Makefile不
      忘记带命令行通过适当的路径
      （例如INCPATH =... LIBPATH =...).你还可以修改
      src / Makefile中默认定义INCPATH和LIBPATH
      在Makefile（根的Makefile）。


问题：

如果安装失败（例如，与老版本的gcc），您可以尝试
清理当前安装使清洁和重新安装
如下后修改src / Makefile中的CFLAGS：

   CFLAGS = - O2 - DNO_REGS

如果你有一个问题时，编译prolog文件库
（像“libwamcc.a：警告消息：存档内容表
 过时的;重新运行ranlib处理（1）“）

使用％ranlib的LIBPATH / libwamcc.a
和％ranlib的LIBPATH / libwamcc_pp.a

（LIBPATH在Makefile中定义）


IV -文档
-----------------
DOC目录包含用户手册（LaTeX文件）。

wamcc尝试尝试要符合ISO标准的Prolog（未来）。
Prolog的ISO标准草案是可以从匿名FTP
ai.uga.edu：/酒馆/ prolog.standard / [128.192.12.9]。一个非官方的总结
草案ISO Prolog的标准是从同一位置
isoprolog.tex或isoprolog.ps.Z。

V型的例子：
------------

如果你有得到的文件prg.tar.Z，你可以展开如下：

   ％CD wamcc
   ％zcat与prg.tar.Z | tar xvf命令 -

这将创建一个目录的例子，containts一些例子
wamcc方案。
要执行程序的xxx.pl使用：

   ％CD范例
   ％使- F xxx.mk
   ％XXX

你也可以解释下的顶层（但它是更长的时间）：

   ％wamcc
   ... ...
   | - [XXX]。
   ... ...

如果你有一个堆栈溢出消息，请查阅文档。

第六臭虫
--------
请报告（详细）[email protected]错误

第七个端口
----------
wamcc可以很容易地移植到其他机器上。如果你想做到这一点
不要犹豫与我联系（[email protected]）。