LinuxQuestions.org

LinuxQuestions.org (/questions/)
-   Slackware (https://www.linuxquestions.org/questions/slackware-14/)
-   -   Compilation of semantik fails on Slack64-current and KDE 4.7.1 (https://www.linuxquestions.org/questions/slackware-14/compilation-of-semantik-fails-on-slack64-current-and-kde-4-7-1-a-902496/)

sombragris 09-11-2011 08:28 PM

Compilation of semantik fails on Slack64-current and KDE 4.7.1
 
Hi everyone,

First of all, let me state that I use Slack64-current with AlienBob's KDE 4.7 packages.

I was trying to compile semantik (http://www.freehackers.org/~tnagy/kdissert.html), a well-known mind-mapping application for KDE that is the sucessor of Kdissert. The build requires ocaml, so I built and installed ocaml 3.11.1 from SlackBuilds.org.

When compiling semantik,compilation fails with the following error messages:

Code:

Waf: Entering directory `/home/eduardo/build/slackbuilds/semantik/semantik-0.7.3/build'
[56/62] ocamlx: src/apis.ml -> build/default/src/apis.cmx
/tmp/camlasmc25905.s: Assembler messages:
/tmp/camlasmc25905.s: Error: .size expression for camlApis__entry does not evaluate to a constant
File "/tmp/camlpp28f249", line 1, characters 0-1:
Error: Assembler error, input left in file /tmp/camlasmc25905.s
Waf: Leaving directory `/home/eduardo/build/slackbuilds/semantik/semantik-0.7.3/build'
Build failed
 -> task failed (err #2):
        {task: ocamlx apis.ml -> apis.cmx}

Any pointers on how could I get it compiled??

Thanks in advance :)

ponce 09-12-2011 12:56 PM

try checking it out from svn, seems to build fine (ocam-3.12.0 here).

knudfl 09-12-2011 03:19 PM

The ocaml-3.11.1 , you are using, seems corrupt.
(I can't even build "ocaml 3.11.1 SBo" on Slackware64 current, version 06_Sep_2011.)
Ocaml 3.12.1 works. http://caml.inria.fr/pub/distrib/oca...3.12.1.tar.bz2


'semantik-0.7.3' and 'semantik-0.7.4' = semantic-snapshot : OK.
http://semantik.googlecode.com/files...apshot.tar.bz2

.

sombragris 09-13-2011 08:20 AM

Upgrading ocaml to 3.12.1 solved the problem indeed. Thank you everyone for the help! knudfl's answer did the trick.


All times are GMT -5. The time now is 08:33 PM.