Armadilloフォーラム

お世話になっております。
小林と申します。

現在Armadilloをサーバーとして、WEBアプリケーションを作成しております。

PHPよりArmadilloの時刻を取得したいのですが、
date()関数で時刻が取得できず、困っております。

また、ATDE上では正常に時刻が取得できます。

おそらくmake imageの際に必要なものをmakeできていないと考えれるのですが、
どれが対応するものなのか初心者のためわかりません。

Armadillo用にmake imageする際に
date()関数を使用可能にするのはどのようにしたらいいでしょうか？

ご教授よろしくお願いいたします。

時刻の取得には添付ファイルのものを使用しております。
※.phpの拡張子だとアップロードできなかったため.txtに変更してあります。