Opened 15 years ago

Closed 15 years ago

#57 closed task (fixed)

--with-base configure option [default /usr/local/base]

Reported by: Peter Johansson Owned by: Peter Johansson
Priority: major Milestone:
Component: se.lu.thep.wenni Keywords:
Cc:

Description


Change History (2)

comment:1 Changed 15 years ago by Peter Johansson

This flag is used to know where to find plug-in support files, such as BASE2Core.jar and corresponding base lib in BASE1.

comment:2 Changed 15 years ago by Peter Johansson

Resolution: fixed
Status: newclosed

(In [324]) fixes #57. --enable-base=X where X is either base1 base2 or stand-alone.

Note: See TracTickets for help on using tickets.