[Soot-list] Compiling Paddle for x64 bit architecture
Marc-André Laverdière
marc-andre.laverdiere-papineau at polymtl.ca
Tue Jun 24 04:34:02 EDT 2014
Hello Nour,
Paddle has been unmaintained since a long long time, so nobody has any
idea :( . I encourage you to persevere in your efforts and document it
well for future reference.
Regards,
Marc-André Laverdière-Papineau
Doctorant - PhD Candidate
On 06/24/2014 06:19 AM, Nouraldin I. Jaber wrote:
> 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
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>
More information about the Soot-list
mailing list