c - CUDD パッケージ : コンパイルとメイクファイルの問題

Question

簡単なプログラムを実行して、CUDD パッケージ バージョン 3.0.0 の使用方法を学習しようとしています。パッケージをダウンロードしてインストールしました: ( 1- ./configure 2- make 3- make check)。

次の簡単なプログラムを作成しました。

  #include <stdio.h>
  #include "cudd.h"
  #include "util.h"

  int main (int argc, char *argv[])
  {
       printf("Its working");
       DdManager *gbm; /* Global BDD manager. */
       char filename[30];
       gbm = Cudd_Init(0,0,CUDD_UNIQUE_SLOTS,CUDD_CACHE_SLOTS,0); 
       DdNode *bdd = Cudd_bddNewVar(gbm); 
       Cudd_Ref(bdd); 
       Cudd_Quit(gbm);
       return 0;
   }

それをコンパイルするためのメイクファイルを作成したいのですが、どうすればよいですか? さらに、コマンドラインからコンパイルしたい場合、ライブラリをリンクするにはどうすればよいですか?