java_api.nit:
mkdir -p tmp
../../bin/jwrapper -vv -u comment -o java_api.nit $(RT_JAR) \
- -r "^(java|org)" -i ../../../../lib/java/collections.nit
+ -r "^java.(lang|util|io)" -i ../../../../lib/java/collections.nit
echo "+ Disabled functions: `grep '#\s*fun' $@ | wc -l` / `grep '^\s*fun' $@ | wc -l`"
api_user: java_api.nit
./api_user > api_user.res
diff api_user.sav api_user.res
-check-generated-java: java_api.nit
+check-more-java:
+ mkdir -p tmp
+ ../../bin/jwrapper -vv -u comment -o java_api.nit $(RT_JAR) \
+ -r "^(java|org)" -i ../../../../lib/java/collections.nit
+ echo "+ Disabled functions: `grep '#\s*fun' $@ | wc -l` / `grep '^\s*fun' $@ | wc -l`"
+
# This may take a while...
time -f "%E k:%S u:%U" ../../../../bin/nitc -v api_user.nit --no-cc