c# - 在 C# 中使用单声道使用命名空间

Question

我正在尝试使用单 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# 程序中包含自定义命名空间？