| Server IP : 82.208.35.60 / Your IP : 216.73.216.238 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/devel/charva/files/ |
Upload File : |
--- 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">