wiki:FAQ

Frequently Asked Questions

Reality mandates this will eventually be the '42' page, but the intention is to use it mostly as a staging ground for the rest of the wiki. Try to keep the number of levels low.


  1. Installation
  2. Usage
    1. Why does bin\ant not work on Windows when in jpf-core?
    2. Why does bin/ant not work on Linux when in jpf-core?
    3. How do I use JPF from within the JUnit tests of my project?
  3. Development
    1. What do I have to do to port my old extension to the new architecture?
  4. Wiki (Trac)
    1. Why can I not edit pages?
    2. Why is my email to username@{TI,NEXT}.ARC.NASA.GOV not delivered
  5. Repositories (Mercurial)
    1. How can I publish my project on the JPF server?
    2. Why does my master repository clone not include the sub-repositories?
    3. Why do I get a 404 when I try to push?
    4. Is it http://.. or https://.. ?
    5. Do I need a separate account for the repositories?
    6. Why does my initial "hg clone" to babelfish fail?
  6. Misc
    1. Why is my account request not being processed?
    2. Where are the mailing lists?



Installation


Usage

Why does bin\ant not work on Windows when in jpf-core?

You need to set JAVA_HOME to where your Java JDK is installed (actually, to the dir that holds lib\tools.jar, so that Ant can find the java compiler)

Why does bin/ant not work on Linux when in jpf-core?

likewise, with slashes. You need to set JAVA_HOME - we are not trying to be fancy with finding the compiler

How do I use JPF from within the JUnit tests of my project?

Easy. JPF uses JUnit for its own regression tests. Please look at the "Using JPF from within JUnit tests" section of the Running JPF page


Development

What do I have to do to port my old extension to the new architecture?

have a look at the project layout and the configuration pages. Partition your sources accordingly (main, peers, classes, annotations, tests, examples). Write a build.xml. Create your jpf.properties. Finally, get an account (if you want to host your project on this server) and share happily. Or read the details on How to create a JPF project


Wiki (Trac)

Why can I not edit pages?

Are you logged in? You need to get an account in order to do so. You don't need to be a NASA employee, but you need to follow this procedure

Why is my email to username@{TI,NEXT}.ARC.NASA.GOV not delivered

Because 'username'@{TI,NEXT}.ARC.NASA.GOV is not an email address. It is Trac's confusing way to identify users, and there is an upcoming patch in the next major Trac release (see http://trac.edgewall.org/ticket/7339). In the meantime, we will add a 'people' section where users can provide their contact info.


Repositories (Mercurial)

How can I publish my project on the JPF server?

Details on Creating a New JPF Project. In short:

  1. get an account on babelfish
  2. send email to Peter.C.Mehlitz at nasa.gov requesting the new repository (the name should start with "jpf-..")
  3. wait for confirmation that repo has been created
  4. do a hg clone http://babelfish.arc.nasa.gov/hg/jpf/<your-repo-name> of the empty repo
  5. copy your files into the cloned (empty) repo, then do a hg addremove and hg commit
  6. push your local repo back to babelfish with hg push https://babelfish.arc.nasa.gov/hg/jpf/<your-repo-name> (NOTE: use https://)
  7. create a page under projects/start describing purpose, status and repository location of your project, add your repo to the list on the projects page

Why does my master repository clone not include the sub-repositories?

So I take it you checked out http://babelfish.arc.nasa.gov/hg/jpf and it didn't populate the sub-repos (jpf-core, jpf-shell etc.)? Are you using Mercurial 1.3? If not, this is the answer - we use Mercurial subrepositories

Why do I get a 404 when I try to push?

Did you push to https://.. ? We don't support write access through http

Is it http://.. or https://.. ?

Use http if you just want to clone or pull, use https if you want to push. Https requires an account on this server

Do I need a separate account for the repositories?

No - same as for the Wiki

Why does my initial "hg clone" to babelfish fail?

You cannot clone to babelfish, you can only clone from babelfish at this point. This means you have to follow this procedure to get your repository in:

  1. send email to Peter.C.Mehlitz at nasa.gov requesting your new repository (please start name with "jpf-" if you can do so)
  2. when you get confirmation that is has been created, do a
    1. hg clone http://babelfish.arc.nasa.gov/hg/jpf/<project name>
    2. copy your sources into your local, empty repo
    3. hg addremove to add your files to your local repo
    4. hg commit to commit them into your (local) repo
    5. hg push https://babelfish.arc.nasa.gov/hg/jpf/<project name> to publish it back (note the https://)

From there on, it's just simple commit and push


Misc

Why is my account request not being processed?

We would like to know ourselves. We've had cases where requests got stuck in the queue (we are not managing the server directly), so if your request is not processed within a day or two, please let us know (email to Peter.C.Mehlitz at nasa.gov)

Where are the mailing lists?

We don't have them yet on this server, since it doesn't support uncontrolled subscription. The old mailing lists on SourceForge are no longer used, though they are still accessible.

Instead, discussions about JPF take place in Google Groups: JPF Google group

Last modified 8 years ago Last modified on 10/07/2010 12:12:29 PM