WAMCC版本2.22——说明书

来源:互联网 发布:淘宝有海外版吗 编辑:程序博客网 时间:2024/05/29 16: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]。
   
... ...

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

第六臭虫
--------
请报告(详细)diaz@margaux.inria.fr错误

第七个端口
----------
wamcc可以很容易地移植到其他机器上。如果你想做到这一点
不要犹豫与我联系(diaz@margaux.inria.fr)。

原创粉丝点击