1. Install Maven
----------------
Maven web site
http://maven.apache.org/

Download install and configure Maven
(config file in ${user.home}/.m2/settings.xml)
http://maven.apache.org/run-maven/index.html

Configure a proxy
http://maven.apache.org/guides/mini/guide-proxies.html

2. Configuring Maven to use the JBoss Repository
------------------------------------------------
https://community.jboss.org/docs/15169

3. Download Infinispan 5.1.8 from GitHub
----------------------------------------
https://github.com/infinispan/infinispan/tree/5.1.8.Final
Click on ZIP button and save file, extract it in the Maven folder

4. Patch Infinispan and compile it
----------------------------------
patch -u --binary -p0 infinispan-5.1.8.Final < patch.txt
where patch.txt contains the patch :) and infinispan-5.1.8.Final is the unzipped folder

P.S. use GNU patch (for Windows) to patch
http://gnuwin32.sourceforge.net/packages/patch.htm
http://gnuwin32.sourceforge.net/packages/diffutils.htm

5. Build Infispan
-----------------
Go to "core" folder in infinispan-5.1.8.Final

Maven commands available here:
https://docs.jboss.org/author/display/ISPN/Contributing+to+Infinispan#ContributingtoInfinispan-BuildingInfinispan

mvn clean                                --> for cleaning
mvn package -Dmaven.test.skip.exec=true  --> for packaging without running tests

The final jar is in "target" folder"