Add README instructions on how to update with new version of XSB source code.

[Ingmar Dasseville]

Bij 2 keer builden van dezelfde source naar 2 versies gaat XSB fout. (zoals gisteren ook gemerkt bij Pieter)

Bij het laden van XSB in een file:

Error: InternalIdpException: Error in XSB: The startup file, /home/ingmar/gitrepos/dynBuild/bin/xsb/xsb-3.4.0/syslib/loader.xwam, could not be found!

[Bart Bogaerts]

Wat bedoel je met "2 keer builden van dezelfde source naar 2 versies"?

[Ingmar Dasseville]

debug + release

[Bart Bogaerts]

En wat gaat er dan mis? Allebei? De tweede? De eerste?

[Joachim Jansen]

Heb je proberen te builden van een "cleane" download van git? Dat loste het probleem bij Pieter op.

[Bart Bogaerts]

Dus waarschijnlijk zit het probleem in oude xsb dingen die nog rondzweven en niet netjes worden opgeruimd na de update van xsb?

[Joachim Jansen]

Eerder XSB dat al eerder gecompiled is en niet fatsoenlijk hercompileert met de geupdate source.

Of het kan zijn dat in de source van XSB zelf (in de download) nog rommel zit

[Ingmar Dasseville]

git-ignore zorgde voor problemen

[Bart Bogaerts]

En hebt ge die problemen dan ook gefixed?

[Ingmar Dasseville]

wel, as far as we know is een volledig nieuwe checkout de enige werkende oplossing

[Bart Bogaerts]

Maar als het probleem aan de git-ignore lag... Dan kan het toch gewoon gefixed worden.

Werd er iets te veel geignored -> stop met het ignoren, werd er iets te weinig geignored -> steek het dan in de git-ignore

[Joachim Jansen]

New title

[Ingmar Dasseville]

@jjansen zal er eens naar kijken, die weet beter welke files nu precies problematisch waren

[Joachim Jansen]

Problemen liggen niet alleen aan de git-ignore, maar ook aan de files die de compilatie genereert in de source folder.

Dit probleem volledig oplossen gaat waarschijnlijk beter als in het compilatieproces er eerst een volledige kopie gemaakt wordt van de XSB source naar de build directory + daarin wordt dan gebuild.