设置

模块树

让我们首先使用h2xs：

创建模块树

$ h2xs -A -n MyAdaModule

然后让我们创建一个子目录来保存我们的Ada文件：

$ cd MyAdaModule
$ mkdir src

以下是模块的规范： src / hello.ads

procedure hello;

...和正文： src / hello.adb

with Ada.Text_IO;
use Ada.Text_IO;

procedure hello is
begin
    Put_Line("Hi from Ada!");
end;

不要忘记更新MANIFEST。

编写XS文件

现在让我们编写MyAdaModule.xs的正文。这非常类似于使用C库中的函数：

#define PERL_NO_GET_CONTEXT
#include "EXTERN.h"
#include "perl.h"
#include "XSUB.h"

#include "ppport.h"

extern void adainit();
extern void adafinal();

MODULE = MyAdaModule        PACKAGE = MyAdaModule       

void say_hello()
    CODE:
        adainit();
        hello();
        adafinal();

从gnat documentation我们知道我们需要调用adainit()和adafinal()进行初始化然后清理。这些调用在这里围绕hello()，但它们可能在XS文件中的某些其他函数中处于更好的位置。然后从Perl模块中的BEGIN和END块调用它们。

编译时间！

Ada图书馆

首先，我们不想将所有魔术链接和绑定委托给MakeMaker，所以让我们在src /目录中创建一个makefile，它将我们的Ada代码编译成一个静态库。

要创建此库hello.a，我们只需要遵循gnat文档：

使用gnatmake -c生成hello.ali和hello.o;
将hello.ali与gnatbind一起使用-n开关。这将生成包含绑定代码的b~hello.adb和b~hello.ads;
将b~hello.adb编译成目标文件：b~hello.o。
将hello.o和b~hello.o分组合并到ar

因此，简而言之，我们将使用此makefile：

all: hello.a

hello.a: hello.o b~hello.o
    ar rcs $@ $^

hello.o: hello.adb hello.ads
    gnatmake -c -o $@ $<

b~hello.o: b~hello.adb b~hello.ads
    gnatmake -c -o $@ $<

b~hello.adb: hello.ali
    gnatbind -n $<

hello.ali: hello.o

clean:
    rm -rf *.o *.ali *.a b~*

不要忘记更新MANIFEST。

Makefile.PL

最后，MakeFile.PL文件需要进行一些编辑。它必须调用上面的makefile来构建我们的库，然后在最后的链接阶段使用它。这可以通过将MYEXTLIB设置为src/hello.a并在postamble部分添加规则来完成。

在我们的例子中，我们还需要链接libgnat（对于Ada.Text_IO），它应该位于系统的某个位置。这是通过编辑LIBS来完成的。在这个例子中，路径是硬编码的，但你应该找到一种更便携的方法来找到libgnat。

use 5.018001;
use ExtUtils::MakeMaker;
# See lib/ExtUtils/MakeMaker.pm for details of how to influence
# the contents of the Makefile that is written.
WriteMakefile(
    NAME              => 'MyAdaModule',
    VERSION_FROM      => 'lib/MyAdaModule.pm', # finds $VERSION
    PREREQ_PM         => {}, # e.g., Module::Name => 1.1
    ($] >= 5.005 ?           # Add these new keywords supported since 5.005
      (ABSTRACT_FROM  => 'lib/MyAdaModule.pm', # retrieve abstract from module
       AUTHOR         => 'A. U. Thor <author@nonet>') : ()),
    DEFINE            => '',    # e.g., '-DHAVE_SOMETHING'
    INC               => '-I.', # e.g., '-I. -I/usr/include/other'
    LIBS              => ['-L/usr/lib/gcc/i686-pc-linux-gnu/4.8.2/adalib/ -lgnat'],
    MYEXTLIB          => 'src/hello.a',
);


sub MY::postamble {
    join("\n",
        "\$(MYEXTLIB)::",
        "\tmake -C src/",
        "",
        "clean::",
        "\tmake -C src/ clean",
    );
}

现在尝试

$ perl Makefile.PL
$ make
$ make test

并且惊讶：测试没有通过！ hello()符号不存在。使用MyAdaLib.so工具检查make生成的nm会发现某些符号已重命名。就我而言，它们以_ada_为前缀。因此，我必须致电_ada_hello()而不是hello()。可以使用src/ada.ads pragma：

在Export中更正此问题

pragma Export
(Convention    => C,
 Entity        => hello,
 External_Name => "hello" );

根据我的理解，这应该对所有公共符号进行，因为它确保从C程序中理解类型，记录等的表示。

现在，您应该可以从XSUB中调用hello()。享受！

如何在使用XS的Perl程序中使用Ada模块？

1 个答案:

设置

模块树

编写XS文件

编译时间！

Ada图书馆

Makefile.PL