C# 在C中使用名称空间#使用mono

我正在尝试使用mono gmcs编译器在linux中运行一个C#程序。我需要包含一个名称空间Microsoft.Boogie。我有定义Boogie命名空间的C#包的源代码。但是当我尝试使用

using Microsoft.Boogie;

编译器（gmcs）抱怨说

boogieTrace.cs(2,17): error CS0234: The type or namespace name `Boogie' does not 
exist in the namespace `Microsoft'. Are you missing an assembly reference?
Compilation failed: 1 error(s), 0 warnings

---

有人知道如何在C程序中包含自定义名称空间吗？

该名称空间是在哪里定义的？它必须存在于项目的某个地方，在源代码或引用中。您说您已经获得了包的源代码-您是否构建了该源代码，然后添加了对结果程序集的引用？如何添加对程序集的引用？使用

-r

编译器选项。