search

paparazzi / homebrew-paparazzi

Paparazzi specific packages for the homebrew package manager.
MIT License
2 stars 3 forks source link

issues in installing for MacOSX10.9.5 #1

Open weremarc opened 8 years ago

weremarc commented 8 years ago

Hello,

I have some issue installing paparazzi on my OSX, I have followed the OSX guideline installation but I have some errors when I do make : the package ocamlnet and lablgtk was missing, I have install it. I have made also a distclean to prevent there errors. I progress in the making process but I still have this error with fig.ml :

Building Paparazzi version v5.8.2_stable-0-g6260b7c

/Library/Developer/CommandLineTools/usr/bin/make -C data/maps

mkdir /Users/marclambert/Documents/paparazzi/paparazzi/conf/maps_data

DOWNLOAD: google maps version code

Updated google maps version to 692

[ -L conf/conf.xml ] || [ -f conf/conf.xml ] || cp conf/conf_example.xml conf/conf.xml /Library/Developer/CommandLineTools/usr/bin/make -C sw/lib/ocaml OCY expr_parser.mly OCL expr_lexer.mll 40 states, 423 transitions, table size 1932 bytes DEPEND .depend OC fig.ml File "fig.ml", line 1: Error: Could not find the .cmi file for interface fig.mli. make[1]: * [fig.cmo] Error 2 make: * [libpprz] Error 2

Thanks to your help,

Marc.

flixr commented 8 years ago

Hm... no idea what the issue is here (and I can't test on OSX)... @gautierhattenberger do you have any idea? IIRC someone had the same problem on Linux/RaspberryPI