Wed, 20 Oct 2010 08:22:45 GMT Project History of shinji(shinji) http://sourceforge.jp/projects/shinji/history ja-jp Wed, 20 Oct 2010 08:22:45 GMT yoriyuki history/7485784 Tue, 14 Apr 2009 12:41:45 GMT tach history/6354528 Thu, 15 Dec 2005 08:23:14 GMT yoriyuki http://sourceforge.jp/ticket/browse.php?group_id=1419&tid=7721#comment:1419:7721:1134634994 history/4820262 Logged In: YES user_id=10813 とりあえず、どういう環境でお使いなのか、OCamlはどうやってイ ンストールしたのか教えてください。 Wed, 14 Dec 2005 13:16:09 GMT utuhiro http://sourceforge.jp/ticket/browse.php?group_id=1419&tid=7721#comment:1419:7721:1134566169 history/4820304 Logged In: YES user_id=9067 configure するときに ディストリビュータのマクロを使っていた のですが、 これを普通の ./configure --prefix=$RPM_BUILD_ROOT/usr に直し、 さらに automake1.4 をインストールし Wed, 14 Dec 2005 10:45:04 GMT yoriyuki http://sourceforge.jp/ticket/browse.php?group_id=1419&tid=7721#comment:1419:7721:1134557104 history/4820265 Logged In: YES user_id=10813 手元の環境でもgcc 4.0.2(Debian)を使用していますが、問題は起 きていません。独自のオプションをCFLAGSで設定されていませんか？ Wed, 14 Dec 2005 10:42:07 GMT yoriyuki http://sourceforge.jp/ticket/browse.php?group_id=1419&tid=7722#comment:1419:7722:1134556927 history/4820235 Logged In: YES user_id=10813 対策を行いました。ご報告ありがとうございます。 Wed, 14 Dec 2005 10:42:07 GMT yoriyuki history/4784986 Wed, 14 Dec 2005 10:42:07 GMT yoriyuki history/4784985 Thu, 24 Nov 2005 03:40:31 GMT yoriyuki http://sourceforge.jp/forum/forum.php?forum_id=8222 history/2882618 Thu, 24 Nov 2005 02:11:48 GMT yoriyuki http://sourceforge.jp/forum/forum.php?forum_id=8221 history/2882591 Thu, 06 Oct 2005 10:14:20 GMT yoriyuki history/4523315 Thu, 06 Oct 2005 10:13:03 GMT yoriyuki history/4523314 Tue, 04 Oct 2005 23:13:16 GMT yoriyuki http://sourceforge.jp/forum/forum.php?forum_id=7909 history/2882506 Sun, 21 Aug 2005 12:53:19 GMT yoriyuki http://sourceforge.jp/forum/forum.php?forum_id=7611 history/2882453 Mon, 08 Aug 2005 16:38:43 GMT yoriyuki http://sourceforge.jp/forum/forum.php?forum_id=7545 history/2879215 Sat, 23 Jul 2005 16:12:25 GMT yoriyuki http://sourceforge.jp/forum/forum.php?forum_id=7462 history/2882166 Sat, 09 Jul 2005 18:36:53 GMT yoriyuki http://sourceforge.jp/forum/forum.php?forum_id=7366 history/2882395 Wed, 15 Jun 2005 15:00:21 GMT yoriyuki history/4521499 Sat, 04 Jun 2005 12:44:46 GMT yoriyuki http://sourceforge.jp/forum/forum.php?forum_id=7098 history/2882376 Tue, 31 May 2005 16:40:21 GMT yoriyuki http://sourceforge.jp/forum/forum.php?forum_id=7093 history/2882368