blob: 886a38e734763de5ad347a8b75d1963974192a44 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
--- build.xml.orig 2016-06-20 12:40:44 UTC
+++ build.xml
@@ -90,6 +90,7 @@
<property name="src.home" value="${basedir}/java/src"/>
<property name="test.home" value="${basedir}/test"/>
<property name="c.home" value="${basedir}/c"/>
+ <property name="os.type" value="freebsd"/>
<!-- ==================== Compilation Control Options ==================== -->
@@ -189,14 +190,8 @@
description="Compile the JNI shared library">
<mkdir dir="${c.home}/lib"/>
- <input
- message="Enter the operating system type: "
- validargs="aix,beos,freebsd,gcj,hpux,linux,mac_osx,solaris,win32"
- addproperty="os.type"
- />
-
<echo>Compiling the shared library using "Makefile.${os.type}.txt"</echo>
- <exec executable="make"
+ <exec executable="gmake"
dir="${c.home}/src"
output="${c.home}/lib/make.out.txt"
failonerror="true">
|
