Index: ossp-pkg/as/as-gui/devtool.conf
RCS File: /v/ossp/cvs/ossp-pkg/as/as-gui/devtool.conf,v
rcsdiff -q -kk '-r1.12' '-r1.13' -u '/v/ossp/cvs/ossp-pkg/as/as-gui/devtool.conf,v' 2>/dev/null
--- devtool.conf	2003/02/04 20:32:46	1.12
+++ devtool.conf	2003/02/14 14:58:34	1.13
@@ -13,6 +13,8 @@
 %configure
     ./configure \
         --prefix=/tmp/as_gui \
+        --with-mico \
+        --with-esoap \
         "$@"
 
 %release