|
|
@ -12,4 +12,9 @@ |
|
|
|
# GNU General Public License can be found in the file COPYING. |
|
|
|
# GNU General Public License can be found in the file COPYING. |
|
|
|
# --- SDE-COPYRIGHT-NOTE-END --- |
|
|
|
# --- SDE-COPYRIGHT-NOTE-END --- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if [ "$prefix_auto" == "1" ]; then |
|
|
|
|
|
|
|
prefix="opt/dlog" |
|
|
|
|
|
|
|
set_confopt |
|
|
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
configscript='./configure.pl' |
|
|
|
configscript='./configure.pl' |
|
|
|