[Soot-list] Compiling Paddle for x64 bit architecture

[Nouraldin I. Jaber]

Hello everyone,

I'm trying to compile paddle components to work on x64 bit machines. and I'm following the steps found here:

http://users.elis.ugent.be/~cfoket/build_jedd.html

everything regarding installing the dependencies worked fine.
 
I added all the dependencies to ant.settings and it looks like this now:



## Location of JDK "/usr/lib/jvm/jdk1.7.0"
java.loc=/usr/lib/jvm/jdk1.7.0

## Location of Polyglot classes jar
polyglot.loc=/home/nour9/Desktop/paddle64/polyglot-2.6.1-src/lib/polyglot.jar

## Location of JFlex classes jar
jflex.loc=/home/nour9/Desktop/paddle64/jflex-1.6.0/jflex-1.6.0.jar

## Location of Swig distribution  
swig.loc=/home/nour9/Desktop/paddle64/swig-3.0.2

## Location of Cudd distribution
cudd.loc=/home/nour9/Desktop/paddle64/cudd-2.5.0

## Location of BuDDy distribution
buddy.loc=/home/nour9/Desktop/paddle64/buddy-2.4

## Location of SableJBDD distribution
sablejbdd.loc=/home/nour9/Desktop/paddle64/sablejbdd-0.02/sablejbdd-0.02

## Location of JavaBDD distribution
javabdd.loc=/home/nour9/Desktop/paddle64/JavaBDD

## Location of Soot classes  
soot.loc=/home/nour9/Desktop/paddle64/sootall-2.5.0.jar



I also prepared cpptasks and I'm using the this command to run ant:

nour at ubuntu:~/Desktop/paddle64/jedd-0.4$ ant -lib /home/nour9/Desktop/paddle64/cpptasks-1.0b5/target/lib/cpptasks.jar

but it keep asking for classes in jedd-runtime.jar as shown below:

settings:

javadoc:
  [javadoc] Generating Javadoc
  [javadoc] Javadoc execution
  [javadoc] Loading source file /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/Attribute.java...
  [javadoc] Loading source file /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/Domain.java...
  [javadoc] Loading source file /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/Jedd.java...
  [javadoc] Loading source file /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/Numberer.java...
  [javadoc] Loading source file /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/PhysicalDomain.java...
  [javadoc] Loading source file /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/Relation.java...
  [javadoc] Loading source files for package jedd...
  [javadoc] Loading source files for package jedd.internal...
  [javadoc] Loading source files for package jedd.order...
  [javadoc] Loading source files for package org.sf.javabdd...
  [javadoc] Constructing Javadoc information...
  [javadoc] /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/internal/BuddyBackend.java:23: error: package jedd.internal.buddy does not exist
  [javadoc] import jedd.internal.buddy.*;
  [javadoc] ^
  [javadoc] /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/internal/BuddyBackend.java:266: error: cannot find symbol
  [javadoc]     private bddPair pair( Replacer in ) {
  [javadoc]             ^
  
...
                   ^
  [javadoc]   symbol:   class BDDPairing
  [javadoc]   location: class JavabddReplacer
  [javadoc] /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/internal/SableBackend.java:23: error: package SableJBDD.bdd does not exist
  [javadoc] import SableJBDD.bdd.*;
  [javadoc] ^
  [javadoc] /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/internal/SableBackend.java:26: error: cannot find symbol
  [javadoc]     protected JBDD bdd( RelationInstance in ) {
  [javadoc]               ^

....


  [javadoc]   symbol:   class JBddManager
  [javadoc]   location: class SableBackend
  [javadoc] /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/internal/CuddBackend.java:23: error: package jedd.internal.cudd does not exist
  [javadoc] import jedd.internal.cudd.*;
  [javadoc] ^
  [javadoc] /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/internal/CuddBackend.java:26: error: cannot find symbol
  [javadoc]     private SWIGTYPE_p_DdManager manager;
  
...

  [javadoc]   symbol:   class bddPair
  [javadoc]   location: class CuddReplacer
  [javadoc] /home/nour9/Desktop/paddle64/jedd-0.4/runtime/src/jedd/internal/CuddInstance.java:22: error: package jedd.internal.cudd does not exist
  [javadoc] import jedd.internal.cudd.*;
  [javadoc] ^
  

...

  [javadoc] Standard Doclet version 1.7.0_51
  [javadoc] Building tree for all the packages and classes...
  [javadoc] Building index for all the packages and classes...
  [javadoc] Building index for all the packages and classes...
  [javadoc] Building index for all classes...
  [javadoc] Generating /home/nour9/Desktop/paddle64/jedd-0.4/doc/api/help-doc.html...
  [javadoc] 35 warnings

jflex-dep:

flex-translator:

ppg-dep:

ppg-translator:

cup-dep:

cup-translator:

compile-translator:
    [javac] /home/nour9/Desktop/paddle64/jedd-0.4/build.xml:271: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
    [javac] Compiling 69 source files to /home/nour9/Desktop/paddle64/jedd-0.4/translator/classes
    [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.4
    [javac] /home/nour9/Desktop/paddle64/jedd-0.4/translator/src/polyglot/ext/jedd/ExtensionInfo.java:42: error: package polyglot.ext.jl does not exist
    [javac] public class ExtensionInfo extends polyglot.ext.jl.ExtensionInfo {
    [javac]                                                   ^
    [javac] /home/nour9/Desktop/paddle64/jedd-0.4/translator/src/polyglot/ext/jedd/ExtensionInfo.java:73: error: cannot find symbol
    [javac]     public static final Pass.ID METHOD_DECL_MAP = new Pass.ID("method-decl-map");
    [javac]                             ^
    [javac]   symbol:   class ID
    [javac]   location: interface Pass
    


....

    [javac] /home/nour9/Desktop/paddle64/jedd-0.4/translator/src/polyglot/ext/jedd/ast/BDDTypeNode.java:22: error: package polyglot.ext.jl.ast does not exist
    [javac] import polyglot.ext.jl.ast.*;
    [javac] ^
    [javac] /home/nour9/Desktop/paddle64/jedd-0.4/translator/src/polyglot/ext/jedd/ast/Replace.java:22: error: package polyglot.ext.jl.ast does not exist
    [javac] import polyglot.ext.jl.ast.*;
    [javac] ^
    [javac] /home/nour9/Desktop/paddle64/jedd-0.4/translator/src/polyglot/ext/jedd/ast/FixPhys.java:22: error: package polyglot.ext.jl.ast does not exist
  
...
    [javac] Note: Some input files use or override a deprecated API.
    [javac] Note: Recompile with -Xlinteprecation for details.
    [javac] 100 errors
    [javac] 1 warning

BUILD FAILED


* my conclusion that ant is trying to use classes from jedd-runtime.jar and polyglot as well.. but the steps in the first link did not include them and I'm trying to build jedd so why it's trying to reference classes from there?

I hope you can help me with that.

thanks in advance and sorry for the long message,


Nour
Grad Student
ECE Department
Purdue University