Skip to content

Commit

Permalink
bring over phonelibs minus frida-gum and qsml
Browse files Browse the repository at this point in the history
  • Loading branch information
geohot committed Jan 17, 2020
1 parent 6abffe0 commit da6863f
Show file tree
Hide file tree
Showing 2,473 changed files with 759,632 additions and 0 deletions.
14 changes: 14 additions & 0 deletions phonelibs/SConscript
@@ -0,0 +1,14 @@
Import('env')

def static_library(lib_dir, header_dir):
env.Append(LIBPATH=[Dir(lib_dir)])
env.Append(CPPPATH=[Dir(header_dir)])

env.Library('json', ['json/src/json.c'])
env.Append(CPPPATH=[Dir('json/src')])

env.Library('json11', ['json11/json11.cpp'])
env.Append(CPPPATH=[Dir('json11')])

static_library('zmq/aarch64-linux/lib', 'zmq/aarch64-linux/include')
static_library('capnp-cpp/aarch64-linux/lib', 'capnp-cpp/aarch64-linux/include')
28 changes: 28 additions & 0 deletions phonelibs/acado/01.patch
@@ -0,0 +1,28 @@
From a1b2938bcf0b2bbb9156ed9ee922bc5b5a38cea7 Mon Sep 17 00:00:00 2001
From: heyyeh12 <heyyeh12@users.noreply.github.com>
Date: Sat, 27 Apr 2019 09:08:48 -0400
Subject: [PATCH] fixes issue #261 binding to temporary object

---
acado/code_generation/export_function_declaration.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/acado/code_generation/export_function_declaration.cpp b/acado/code_generation/export_function_declaration.cpp
index d6450b50..46a3269f 100644
--- a/acado/code_generation/export_function_declaration.cpp
+++ b/acado/code_generation/export_function_declaration.cpp
@@ -36,12 +36,12 @@

BEGIN_NAMESPACE_ACADO

-
+const ExportFunction& _ff = ExportFunction();
//
// PUBLIC MEMBER FUNCTIONS:
//

-ExportFunctionDeclaration::ExportFunctionDeclaration( ) : ExportStatement( ), f( ExportFunction() )
+ExportFunctionDeclaration::ExportFunctionDeclaration( ) : ExportStatement( ), f( _ff )
{}


3 changes: 3 additions & 0 deletions phonelibs/acado/aarch64/lib/libacado_casadi.a
Git LFS file not shown
3 changes: 3 additions & 0 deletions phonelibs/acado/aarch64/lib/libacado_csparse.a
Git LFS file not shown
3 changes: 3 additions & 0 deletions phonelibs/acado/aarch64/lib/libacado_qpoases.a
Git LFS file not shown
3 changes: 3 additions & 0 deletions phonelibs/acado/aarch64/lib/libacado_toolkit.a
Git LFS file not shown
1 change: 1 addition & 0 deletions phonelibs/acado/aarch64/lib/libacado_toolkit_s.so
1 change: 1 addition & 0 deletions phonelibs/acado/aarch64/lib/libacado_toolkit_s.so.1
3 changes: 3 additions & 0 deletions phonelibs/acado/aarch64/lib/libacado_toolkit_s.so.1.2.2beta
Git LFS file not shown
16 changes: 16 additions & 0 deletions phonelibs/acado/build.txt
@@ -0,0 +1,16 @@
git clone https://github.com/acado/acado.git
cd acado
git reset --hard 5adb8cbcff5a5464706a48eaf073218ac87c9044


# Clang 8 fixes
# git apply 01.patch
# sed -i '100d' cmake/CompilerOptions.cmake
# sed -i '100d' cmake/CompilerOptions.cmake


mkdir build
cd build
cmake -DACADO_WITH_EXAMPLES=OFF -DACADO_BUILD_STATIC=ON -DCMAKE_INSTALL_PREFIX="$HOME/one/phonelibs/acado" ..
make -j4
make install
33 changes: 33 additions & 0 deletions phonelibs/acado/include/acado/acado_code_generation.hpp
@@ -0,0 +1,33 @@
/*
* This file is part of ACADO Toolkit.
*
* ACADO Toolkit -- A Toolkit for Automatic Control and Dynamic Optimization.
* Copyright (C) 2008-2014 by Boris Houska, Hans Joachim Ferreau,
* Milan Vukov, Rien Quirynen, KU Leuven.
* Developed within the Optimization in Engineering Center (OPTEC)
* under supervision of Moritz Diehl. All rights reserved.
*
* ACADO Toolkit is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 3 of the License, or (at your option) any later version.
*
* ACADO Toolkit is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with ACADO Toolkit; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*
*/


/**
* \file include/acado_code_generation.hpp
* \author Hans Joachim Ferreau, Boris Houska, Milan Vukov
* \date 2009 - 2014
*/

#include <acado/code_generation/code_generation.hpp>
62 changes: 62 additions & 0 deletions phonelibs/acado/include/acado/acado_controller.hpp
@@ -0,0 +1,62 @@
/*
* This file is part of ACADO Toolkit.
*
* ACADO Toolkit -- A Toolkit for Automatic Control and Dynamic Optimization.
* Copyright (C) 2008-2014 by Boris Houska, Hans Joachim Ferreau,
* Milan Vukov, Rien Quirynen, KU Leuven.
* Developed within the Optimization in Engineering Center (OPTEC)
* under supervision of Moritz Diehl. All rights reserved.
*
* ACADO Toolkit is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 3 of the License, or (at your option) any later version.
*
* ACADO Toolkit is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with ACADO Toolkit; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*
*/


/**
* \file include/acado_controller.hpp
* \author Hans Joachim Ferreau, Boris Houska
*/



#include <acado/utils/acado_utils.hpp>
#include <acado/user_interaction/user_interaction.hpp>
#include <acado/matrix_vector/matrix_vector.hpp>
#include <acado/variables_grid/variables_grid.hpp>
#include <acado/index_list/index_list.hpp>
#include <acado/symbolic_expression/symbolic_expression.hpp>
#include <acado/function/function.hpp>
#include <acado/integrator/integrator.hpp>
#include <acado/sparse_solver/sparse_solver.hpp>

#include <acado/dynamic_system/dynamic_system.hpp>
#include <acado/dynamic_discretization/dynamic_discretization.hpp>
#include <acado/dynamic_discretization/integration_algorithm.hpp>
#include <acado/nlp_solver/nlp_solver.hpp>
#include <acado/nlp_solver/scp_method.hpp>
#include <acado/ocp/ocp.hpp>
#include <acado/optimization_algorithm/optimization_algorithm.hpp>
#include <acado/optimization_algorithm/parameter_estimation_algorithm.hpp>
#include <acado/optimization_algorithm/multi_objective_algorithm.hpp>

#include <acado/curve/curve.hpp>
#include <acado/controller/controller.hpp>
#include <acado/estimator/estimator.hpp>
#include <acado/control_law/control_law.hpp>
#include <acado/control_law/pid_controller.hpp>
#include <acado/control_law/dynamic_feedback_law.hpp>
#include <acado/control_law/linear_state_feedback.hpp>
#include <acado/control_law/feedforward_law.hpp>
#include <acado/reference_trajectory/reference_trajectory.hpp>
33 changes: 33 additions & 0 deletions phonelibs/acado/include/acado/acado_gnuplot.hpp
@@ -0,0 +1,33 @@
/*
* This file is part of ACADO Toolkit.
*
* ACADO Toolkit -- A Toolkit for Automatic Control and Dynamic Optimization.
* Copyright (C) 2008-2014 by Boris Houska, Hans Joachim Ferreau,
* Milan Vukov, Rien Quirynen, KU Leuven.
* Developed within the Optimization in Engineering Center (OPTEC)
* under supervision of Moritz Diehl. All rights reserved.
*
* ACADO Toolkit is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 3 of the License, or (at your option) any later version.
*
* ACADO Toolkit is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with ACADO Toolkit; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*
*/


/**
* \file include/acado_gnuplot.hpp
* \author Milan Vukov
* \date 2014
*/

#include <acado/bindings/acado_gnuplot/gnuplot_window.hpp>
44 changes: 44 additions & 0 deletions phonelibs/acado/include/acado/acado_integrators.hpp
@@ -0,0 +1,44 @@
/*
* This file is part of ACADO Toolkit.
*
* ACADO Toolkit -- A Toolkit for Automatic Control and Dynamic Optimization.
* Copyright (C) 2008-2014 by Boris Houska, Hans Joachim Ferreau,
* Milan Vukov, Rien Quirynen, KU Leuven.
* Developed within the Optimization in Engineering Center (OPTEC)
* under supervision of Moritz Diehl. All rights reserved.
*
* ACADO Toolkit is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 3 of the License, or (at your option) any later version.
*
* ACADO Toolkit is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with ACADO Toolkit; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*
*/


/**
* \file include/acado_integrators.hpp
* \author Hans Joachim Ferreau, Boris Houska
* \date 10.06.2009
*/



#include <acado/utils/acado_utils.hpp>
#include <acado/clock/clock.hpp>
#include <acado/curve/curve.hpp>
#include <acado/user_interaction/user_interaction.hpp>
#include <acado/matrix_vector/matrix_vector.hpp>
#include <acado/variables_grid/variables_grid.hpp>
#include <acado/symbolic_expression/symbolic_expression.hpp>
#include <acado/function/function.hpp>
#include <acado/integrator/integrator.hpp>
#include <acado/sparse_solver/sparse_solver.hpp>
47 changes: 47 additions & 0 deletions phonelibs/acado/include/acado/acado_optimal_control.hpp
@@ -0,0 +1,47 @@
/*
* This file is part of ACADO Toolkit.
*
* ACADO Toolkit -- A Toolkit for Automatic Control and Dynamic Optimization.
* Copyright (C) 2008-2014 by Boris Houska, Hans Joachim Ferreau,
* Milan Vukov, Rien Quirynen, KU Leuven.
* Developed within the Optimization in Engineering Center (OPTEC)
* under supervision of Moritz Diehl. All rights reserved.
*
* ACADO Toolkit is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 3 of the License, or (at your option) any later version.
*
* ACADO Toolkit is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with ACADO Toolkit; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*
*/


/**
* \file include/acado_optimal_control.hpp
* \author Hans Joachim Ferreau, Boris Houska
* \date 10.06.2009
*/



#include <acado_integrators.hpp>

#include <acado/dynamic_system/dynamic_system.hpp>
#include <acado/dynamic_discretization/dynamic_discretization.hpp>
#include <acado/dynamic_discretization/integration_algorithm.hpp>
#include <acado/nlp_solver/nlp_solver.hpp>
#include <acado/nlp_solver/scp_method.hpp>
#include <acado/ocp/ocp.hpp>
#include <acado/ocp/nlp.hpp>
#include <acado/optimization_algorithm/optimization_algorithm.hpp>
#include <acado/optimization_algorithm/real_time_algorithm.hpp>
#include <acado/optimization_algorithm/parameter_estimation_algorithm.hpp>
#include <acado/optimization_algorithm/multi_objective_algorithm.hpp>
51 changes: 51 additions & 0 deletions phonelibs/acado/include/acado/acado_toolkit.hpp
@@ -0,0 +1,51 @@
/*
* This file is part of ACADO Toolkit.
*
* ACADO Toolkit -- A Toolkit for Automatic Control and Dynamic Optimization.
* Copyright (C) 2008-2014 by Boris Houska, Hans Joachim Ferreau,
* Milan Vukov, Rien Quirynen, KU Leuven.
* Developed within the Optimization in Engineering Center (OPTEC)
* under supervision of Moritz Diehl. All rights reserved.
*
* ACADO Toolkit is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 3 of the License, or (at your option) any later version.
*
* ACADO Toolkit is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with ACADO Toolkit; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*
*/


/**
* \file include/acado_toolkit.hpp
* \author Hans Joachim Ferreau, Boris Houska
* \date 10.06.2009
*/



#include <acado_optimal_control.hpp>

#include <acado/curve/curve.hpp>
#include <acado/controller/controller.hpp>
#include <acado/estimator/estimator.hpp>
#include <acado/control_law/control_law.hpp>
#include <acado/control_law/pid_controller.hpp>
#include <acado/control_law/linear_state_feedback.hpp>
#include <acado/control_law/feedforward_law.hpp>
#include <acado/reference_trajectory/reference_trajectory.hpp>
#include <acado/simulation_environment/simulation_environment.hpp>
#include <acado/process/process.hpp>
#include <acado/noise/noise.hpp>
#include <acado/transfer_device/actuator.hpp>
#include <acado/transfer_device/sensor.hpp>

#include <acado/code_generation/code_generation.hpp>

0 comments on commit da6863f

Please sign in to comment.