Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Bug#820261: Makefile-patch also needs change

2 views
Skip to first unread message

Christof Schulze

unread,
Aug 13, 2016, 1:20:02 PM8/13/16
to
Hi,

I just applied the patches but the GITHUB-Plugin still was not built
because in ./debian/patches/10-Makefiles.patch the Plugin is
specifically turned off.
With the following in place in line 39
CMAKE_OPTS = -DKICAD_SKIP_BOOST=ON -DCMAKE_INSTALL_PREFIX=/usr
-DCMAKE_CXX_FLAGS="$(CXXFLAGS)" -DBUILD_GITHUB_PLUGIN=ON
-DKICAD_REPO_NAME=stable -DKICAD_BUILD_VERSION=$(VERSION)
-DDEFAULT_INSTALL_PATH=/usr -DKICAD_SCRIPTING=ON

I still cannot use debuild to create a deb that has a working github plugin as cmake does not configure the plugin. What else is needed to fix this?

Cheers

Christof

--
() ascii ribbon campaign - against html e-mail
/\ against proprietary attachments

Christof Schulze

unread,
Aug 13, 2016, 4:30:02 PM8/13/16
to
after applying the patches manually I can confirm they do work well.
0 new messages