Adding /opt/local/... to the Library and Include paths.
Updating the port version to make upgrading work properly.
Changing the dependent port caml-findlib to ocaml-findlib as the port has been replaced.
Changing the dependent port caml-pcre to ocaml-pcre as the port has been replaced.
changing the dependent port names to their new names.
incrementing the version of the paparazzi-tools port to for an update of this and other ports that have changed but the version couldn't be increased.
added new debian packageing stuff for jsbsim using dh7
fix section in paparazzi-jsbsim package
paparazzi-jsbsim debian package finally works:
- added missing build deps
- patch to add JSBSim.pc to configure files
- patch to tell stupid autogen.sh to not look for configure.in in .pc (used by quilt)
- call autogen.sh directly
Changing how the paprazzi binaries directories are added to the paths.
added dh-ocmal to develenv script; updated ivy-ocaml version for ubuntu precise ppa build
changed jsbsim port to use July 15, 2011 version, as per the pprz debian package, seems to work now, changed version to match, commented out last patch file as this wasn't applicable in jsbsim until about november 19, 2011
added gsl as a dependency for paparazzi-tools, needed for nps
changed dependency from gsl to ocaml-gsl (which depends on gsl) to better match debian package
Merge pull request #32 from scdwyer/jsbsim_fix

changed jsbsim port to use July 15, 2011 version, as per the pprz debian package, seems to work now, changed version to match, commented out last patch file as this wasn't applicable in jsbsim until about november 19, 2011
Merge pull request #34 from scdwyer/add_gsl

added ports ocaml-gsl (and thus gsl) as a dependency for paparazzi-tools, needed for nps
bumped paparazzi-tools version after updating jsbsim and adding ocaml-gsl, reindexed
Merge pull request #35 from scdwyer/bump_tools_ver

bumped paparazzi-tools version after updating jsbsim and adding ocaml-gsl, reindexed
Removing libcmsis since the repo seems to be gone and it can't be build.
Adding py-usb since I'm told it's required for uploading firmware to Lisa/L/M that use luftboot now.
Adding the two ports from paparazzi-extras into paparazzi-tools since they are going to be needed for the python upload and it'd be best to just have the one Installer.
Adding libcmsis back in. The repo was just offline.