From 8de65ad32891f82c76b0c855d4b36d0557090074 Mon Sep 17 00:00:00 2001 From: Jeff Luo Date: Mon, 5 Nov 2018 00:09:51 -0500 Subject: [PATCH] Fix adding classpath to target_classpath --- do_like_javac/tools/infer.py | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/do_like_javac/tools/infer.py b/do_like_javac/tools/infer.py index 634ba57..bedd19a 100644 --- a/do_like_javac/tools/infer.py +++ b/do_like_javac/tools/infer.py @@ -50,11 +50,12 @@ def get_tool_command(args, target_classpath, java_files, jaif_file="default.jaif if 'CLASSPATH' in os.environ: cp += ':' + os.environ['CLASSPATH'] - # os env classpath must be added to targetclasspath for running CFI in typecheck mode - target_classpath += ':' + os.environ['CLASSPATH'] - # TODO: see if this is still needed: - # env_classpath must also have a project's dependent jars - # os.environ['CLASSPATH'] = target_classpath + # os env classpath must be added to targetclasspath for running CFI in + # typecheck mode + target_classpath += ':' + os.environ['CLASSPATH'] + # TODO: see if this is still needed: + # env_classpath must also have a project's dependent jars + # os.environ['CLASSPATH'] = target_classpath CFI_command += [ # '-p', # printCommands before executing '-classpath', cp,