Help regarding Muen
36 views
Skip to first unread message
yadavika...@gmail.com
Apr 3, 2019, 10:03:37 AM4/3/19
to muen-dev
Hi,
I am new here.I am going through the instruction on https://muen.codelabs.ch/#libre and i am done with installation of GNAT/SPARK GPL 2017, z3 and cvc4 but when i issued make command, build failed with following error-
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# make
make -C contrib
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib'
make -C ada-bfd || exit 1; make -C alog || exit 1; make -C gnatcoll || exit 1; make -C libhwbase || exit 1; make -C lsc || exit 1; make -C xia || exit 1;
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
make[3]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
make LIBRARY_TYPE=static build
make[4]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
gprbuild -XMODE=distrib -XPROCESSORS=4 -m -p -P"bfdada.gpr" -XMODE=distrib -XLIBRARY_TYPE=static -XPROCESSORS=4
Compile
[C] bfd-disassembler-c.c
/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd/src/bfd-disassembler-c.c: In function ‘bfd_ada_disassembler_disassemble’:
/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd/src/bfd-disassembler-c.c:155:46: error: incompatible type for argument 1 of ‘disassembler’
disassembler_ftype handler = disassembler (abfd);
^~~~
In file included from /home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd/src/bfd-disassembler-c.c:25:0:
/usr/include/dis-asm.h:276:27: note: expected ‘enum bfd_architecture’ but argument is of type ‘bfd * {aka struct bfd *}’
extern disassembler_ftype disassembler (enum bfd_architecture arc,
^~~~~~~~~~~~
/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd/src/bfd-disassembler-c.c:155:32: error: too few arguments to function ‘disassembler’
disassembler_ftype handler = disassembler (abfd);
^~~~~~~~~~~~
In file included from /home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd/src/bfd-disassembler-c.c:25:0:
/usr/include/dis-asm.h:276:27: note: declared here
extern disassembler_ftype disassembler (enum bfd_architecture arc,
^~~~~~~~~~~~
gprbuild: *** compilation phase failed
Makefile:66: recipe for target 'build' failed
make[4]: *** [build] Error 4
make[4]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
Makefile:69: recipe for target 'static' failed
make[3]: *** [static] Error 2
make[3]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
../contrib.mk:42: recipe for target '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/.ada-bfd-build' failed
make[2]: *** [/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/.ada-bfd-build] Error 2
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
Makefile:16: recipe for target 'build_recipes' failed
make[1]: *** [build_recipes] Error 1
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib'
Makefile:13: recipe for target 'contrib' failed
make: *** [contrib] Error 2
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen#
Adrian-Ken Rueegsegger
Apr 3, 2019, 10:32:16 AM4/3/19
to yadavika...@gmail.com, muen-dev
Hello and welcome to the list!
On 4/3/19 4:03 PM, yadavika...@gmail.com wrote:
> Hi,
> I am new here.I am going through the instruction on
> https://muen.codelabs.ch/#libre and i am done with installation of
> GNAT/SPARK GPL 2017, z3 and cvc4 but when i issued make command, build
> failed with following error-
[...]
[...]
Unfortunately, this is a breaking change in binutils 2.29. Luckily, we
have already fixed issue in the Muen devel branch by adding an ada-bfd
patch, see [1].
Could you please switch to the devel branch and give it another try?
$ git checkout devel
$ git submodule update
$ make distclean
Hope this helps.
Regards,
Adrian
[1] - https://git.codelabs.ch/?p=muen.git;a=commitdiff;h=db38bf1
On 4/3/19 4:03 PM, yadavika...@gmail.com wrote:
> Hi,
> I am new here.I am going through the instruction on
> https://muen.codelabs.ch/#libre and i am done with installation of
> GNAT/SPARK GPL 2017, z3 and cvc4 but when i issued make command, build
> failed with following error-
Unfortunately, this is a breaking change in binutils 2.29. Luckily, we
have already fixed issue in the Muen devel branch by adding an ada-bfd
patch, see [1].
Could you please switch to the devel branch and give it another try?
$ git checkout devel
$ git submodule update
$ make distclean
Hope this helps.
Regards,
Adrian
[1] - https://git.codelabs.ch/?p=muen.git;a=commitdiff;h=db38bf1
yadavika...@gmail.com
Apr 3, 2019, 1:06:56 PM4/3/19
to muen-dev
Hi,
Thank you very much!
After adding the ada-bfd patch and issuing make again i am getting following error.
Please help!!
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# make
make -C contrib
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib'
make -C ada-bfd || exit 1; make -C alog || exit 1; make -C gnatcoll || exit 1; make -C libhwbase || exit 1; make -C lsc || exit 1; make -C xia || exit 1;
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/alog'
make[3]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/alog'
Compile
[Ada] alog.ads
gnat1: invalid switch: -gnat05
gprbuild: *** compilation phase failed
Makefile:62: recipe for target 'build_lib' failed
make[3]: *** [build_lib] Error 4
make[3]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/alog'
../contrib.mk:42: recipe for target '/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/.alog-build' failed
make[2]: *** [/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/.alog-build] Error 2
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/alog'
Makefile:16: recipe for target 'build_recipes' failed
make[1]: *** [build_recipes] Error 1
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib'
Makefile:13: recipe for target 'contrib' failed
make: *** [contrib] Error 2
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen#
Adrian-Ken Rueegsegger
Apr 3, 2019, 2:25:02 PM4/3/19
to yadavika...@gmail.com, muen-dev
Hello,
On 4/3/19 7:06 PM, yadavika...@gmail.com wrote:
> Hi,
> Thank you very much!
> After adding the ada-bfd patch and issuing make again i am getting
> following error.
Please make sure you cleaned the contrib directory in order to get the
versions of the contrib components matching the devel branch. Can you
please issue either one of the following commands from the toplevel Muen
directory?
$ make -C contrib clean
or
$ make distclean
Then try the build again.
Regards,
Adrian
On 4/3/19 7:06 PM, yadavika...@gmail.com wrote:
> Hi,
> Thank you very much!
> After adding the ada-bfd patch and issuing make again i am getting
> following error.
versions of the contrib components matching the devel branch. Can you
please issue either one of the following commands from the toplevel Muen
directory?
$ make -C contrib clean
or
$ make distclean
Then try the build again.
Regards,
Adrian
yadavika...@gmail.com
Apr 3, 2019, 2:57:57 PM4/3/19
to muen-dev
Hello,
Thanks for replying!
I am still getting same error. Please help!
Adrian-Ken Rueegsegger
Apr 3, 2019, 3:19:46 PM4/3/19
to yadavika...@gmail.com, muen-dev
Hi,
That is odd as the devel branch definitely works with GNAT GPL 2017.
Just to double-check: did you switch to the devel branch to fix the
ada-bfd compilation issue or did you apply the patch I referenced in the
earlier mail?
For further debugging could you please provide the output of the
following commands starting in the toplevel Muen directory?
$ git log -1
$ cd contrib/alog/tmp/alog/
$ git log -1
Thanks.
Regards,
Adrian
That is odd as the devel branch definitely works with GNAT GPL 2017.
Just to double-check: did you switch to the devel branch to fix the
ada-bfd compilation issue or did you apply the patch I referenced in the
earlier mail?
For further debugging could you please provide the output of the
following commands starting in the toplevel Muen directory?
$ git log -1
$ cd contrib/alog/tmp/alog/
$ git log -1
Thanks.
Regards,
Adrian
yadavika...@gmail.com
Apr 3, 2019, 4:21:20 PM4/3/19
to muen-dev
Here is the output i am getting.
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git log -1
commit 41263af9482b85799537d4cad3d79427f153d7d3 (HEAD -> master, tag: v0.9.0, origin/master, origin/HEAD)
Author: Reto Buerki <re...@codelabs.ch>
Date: Fri Jan 26 15:17:12 2018 +0100
travis: Remove tags from docker run commands
Auditors: ken
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# cd contrib/alog/tmp/alog/
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/alog# git log -1
commit d1a98fe033fa4d7d631f6e34dcdf6313b235a4f9 (HEAD)
Author: Adrian-Ken Rueegsegger <k...@codelabs.ch>
Date: Tue Sep 26 16:41:19 2017 +0200
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/alog#
Adrian-Ken Rueegsegger
Apr 3, 2019, 5:13:39 PM4/3/19
to yadavika...@gmail.com, muen-dev
Hi,
On 4/3/19 10:21 PM, yadavika...@gmail.com wrote:
> Here is the output i am getting.
>
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git log -1
> commit 41263af9482b85799537d4cad3d79427f153d7d3 (HEAD -> master, tag:
> v0.9.0, origin/master, origin/HEAD)
> Author: Reto Buerki <re...@codelabs.ch>
> Date: Fri Jan 26 15:17:12 2018 +0100
>
> travis: Remove tags from docker run commands
>
> Auditors: ken
This indicates that you are still on the master branch. Could you please
run the commands I listed in my first reply and try again?
$ git checkout devel
$ git submodule update
$ make distclean
Regards,
Adrian
On 4/3/19 10:21 PM, yadavika...@gmail.com wrote:
> Here is the output i am getting.
>
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git log -1
> commit 41263af9482b85799537d4cad3d79427f153d7d3 (HEAD -> master, tag:
> v0.9.0, origin/master, origin/HEAD)
> Author: Reto Buerki <re...@codelabs.ch>
> Date: Fri Jan 26 15:17:12 2018 +0100
>
> travis: Remove tags from docker run commands
>
> Auditors: ken
run the commands I listed in my first reply and try again?
$ git checkout devel
$ git submodule update
$ make distclean
Adrian
yadavika...@gmail.com
Apr 3, 2019, 6:10:19 PM4/3/19
to muen-dev
Hello,
Again getting the same error!
Adrian-Ken Rueegsegger
Apr 3, 2019, 6:23:43 PM4/3/19
to yadavika...@gmail.com, muen-dev
Hello,
On 4/4/19 12:10 AM, yadavika...@gmail.com wrote:
> Again getting the same error!
>
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# make
> make -C contrib
> make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib'
> make -C ada-bfd || exit 1; make -C alog || exit 1; make -C gnatcoll || exit
> 1; make -C libhwbase || exit 1; make -C lsc || exit 1; make -C xia || exit
> 1;
> make[2]: Entering directory
> '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
> make[2]: Nothing to be done for 'all'.
> make[2]: Leaving directory
> '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
This part of the log says that contrib/ada-bfd is already built.
However, this should not be the case after executing distclean in the
toplevel directory. Can you please execute the following list of
commands in the toplevel Muen directory in the given order and report
the output?
$ git checkout devel
$ git log -1
$ make distclean
$ ls contrib/ada-bfd/
$ ls contrib/alog/
$ make
Regards,
Adrian
On 4/4/19 12:10 AM, yadavika...@gmail.com wrote:
> Again getting the same error!
>
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# make
> make -C contrib
> make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib'
> make -C ada-bfd || exit 1; make -C alog || exit 1; make -C gnatcoll || exit
> 1; make -C libhwbase || exit 1; make -C lsc || exit 1; make -C xia || exit
> 1;
> make[2]: Entering directory
> '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
> make[2]: Nothing to be done for 'all'.
> make[2]: Leaving directory
> '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
However, this should not be the case after executing distclean in the
toplevel directory. Can you please execute the following list of
commands in the toplevel Muen directory in the given order and report
the output?
$ git checkout devel
$ git log -1
$ make distclean
$ ls contrib/ada-bfd/
$ ls contrib/alog/
$ make
Regards,
Adrian
yadavika...@gmail.com
Apr 3, 2019, 6:39:06 PM4/3/19
to muen-dev
here is the output!
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git checkout develerror: Your local changes to the following files would be overwritten by checkout:
.travis.yml
Makeconf
Makefile
Makespark
common/crash_audit/sk-crash_audit_types.ads
common/musinfo/musinfo.ads
common/src/sk-constants.ads
common/src/sk-interrupt_tables.adb
common/src/sk-interrupt_tables.ads
components/common_components.mk
components/component_ada.mk
components/component_spark.mk
components/cspecs.mk
components/dbgserver/dbgserver.gpr
components/dbgserver/misc/config.xsl
components/dbgserver/spec/dbgserver.xml
components/dbgserver/src/dbg-channels.ads
components/dbgserver/src/dbg-crash_audit.adb
components/dbgserver/src/dbg.adb
components/dm/src/dev_mngr-pciconf.adb
components/libdebuglog/Makefile
components/libdebuglog/spec/libdebuglog.xml
components/libdebuglog/src/debuglog-client.ads
components/libmusinfo/src/musinfo-instance.adb
components/libmusinfo/src/musinfo-instance.ads
components/libmusinfo/src/musinfo-utils.adb
components/libmusinfo/src/musinfo-utils.ads
components/libmusinfo/tests/musinfo-utils-test_data-tests.adb
components/libmusinfo/tests/musinfo-utils-test_data-tests.ads
components/linux/Makefile
components/linux/config/linux64-3.18
components/linux/config/linux64-4.14
components/linux/spec/linux.xml
components/sl/src/loader-process_target.adb
components/sl/src/loader-process_target.ads
components/sl/src/sl.adb
components/sm/misc/config.xsl
components/sm/sm.gpr
components/sm/spec/sm.xml
components/sm/src/devices-i8042.adb
components/sm/src/devices-i8042.ads
components/sm/src/exit_handlers-cpuid.adb
components/sm/src/exit_handlers-cr_access.adb
components/sm/src/exit_handlers-ept_violation.adb
components/sm/src/exit_handlers-io_instruction.adb
components/sm/src/exit_handlers-rdmsr.adb
components/sm/src/exit_handlers-wrmsr.adb
components/sm/src/exit_handlers-wrmsr.ads
components/sm/src/exit_handlers.ads
components/sm/src/sm.adb
components/sm/src/types.ads
components/vt/spec/vt.xml
components/xslt/config.xsl
config/restrictions-prove.adc
contrib/ada-bfd/Makefile
contrib/alog/Makefile
contrib/gnatcoll/Makefile
contrib/projects/xia.gpr
deploy/Makefile
doc/articles/mirageos-unikernel
emulate/Makefile
kernel/Makefile
kernel/features/vtd/disabled/sk-vtd.adb
kernel/features/vtd/enabled/sk-vtd.adb
kernel/kernel.ld
kernel/src/asm/init.S
kernel/src/sk-apic.adb
kernel/src/sk-apic.ads
kernel/src/sk-cpu_info.ads
kernel/src/sk-scheduler.adb
kernel/src/sk-subjects_events.adb
kernel/src/sk-subjects_events.ads
kernel/src/sk-system_state.adb
kernel/src/sk-timed_events.ads
kernel/src/sk-vtd.ads
policy/hardware/bochs.xml
policy/hardware/cirrus7-nimbus.xml
policy/hardware/common_hardware.xml
policy/hardware/intel-nuc-5i5myhe.xml
policy/hardware/intel-nuc-6cayh.xml
policy/hardware/intel-nuc-6i7kyk.xml
policy/hardware/intel-nuc-dc53427hye.xml
policy/hardware/kontron-ktqm77.xml
policy/hardware/lenovo-t430s.xml
policy/hardware/lenovo-t440s.xml
policy/hardware/lenovo-x260.xml
policy/platform/cirrus7-nimbus.xml
policy/platform/intel-nuc-5i5myhe.xml
policy/platform/intel-nuc-6cayh.xml
policy/platform/intel-nuc-6i7kyk.xml
policy/platform/intel-nuc-dc53427hye.xml
policy/platform/kontron-ktqm77.xml
policy/platform/lenovo-t430s.xml
policy/platform/lenovo-t440s.xml
policy/platform/lenovo-x260.xml
policy/xml/common_channels.xml
policy/xml/common_device_domains.xml
policy/xml/common_events.xml
policy/xml/common_memory.xml
policy/xml/component_unikernel.xml
policy/xml/demo_system.xml
policy/xml/demo_system_vtd.xml
policy/xml/genode-base_hw.xml
policy/xml/genode-base_hw_simple.xml
policy/xml/integration_tests.xml
policy/xml/integration_tests_kt.xml
policy/xml/mirage-solo5-net.xml
policy/xml/mirage-solo5.xml
policy/xml/subject_dbgserver.xml
policy/xml/subject_dbgserver_common.xml
policy/xml/subject_nic_sl.xml
policy/xml/subject_unikernel.xml
policy/xml/vcpu_subject_base_hw.xml
projects/tests.mk
tools/Makefile
tools/docker/Dockerfile.muen-dev-env
tools/docker/Dockerfile.muen-mirageos
tools/liballoc/src/alloc-map.adb
tools/liballoc/src/
error: The following untracked working tree files would be overwritten by checkout:
contrib/ada-bfd/0001-Adapt-to-2.29-API-change-of-disassembler-function.patch
Please move or remove them before you switch branches.
Aborting
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git log -1
commit 41263af9482b85799537d4cad3d79427f153d7d3 (HEAD -> master, tag: v0.9.0, origin/master, origin/HEAD)
Author: Reto Buerki <re...@codelabs.ch>
Date: Fri Jan 26 15:17:12 2018 +0100
travis: Remove tags from docker run commands
Auditors: ken
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# make distclean
make clean -C deploy
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/deploy'
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/deploy'
make clean -C tools
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/libmuxml'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/libmuxml'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/libmutools'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/libmutools'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/libmucfgcheck'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/libmucfgcheck'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/libmucfgvcpu'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/libmucfgvcpu'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/liballoc'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/liballoc'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/libpaging'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/libpaging'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/libmulog'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/libmulog'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/libtest'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/libtest'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mucbinsplit'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mucbinsplit'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgalloc'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgalloc'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgcjoin'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgcjoin'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgexpand'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgexpand'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgmemhashes'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgmemhashes'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgmerge'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgmerge'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgvalidate'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mucfgvalidate'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mucgenspec'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mucgenspec'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mucheckelf'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mucheckelf'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mucheckstack'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mucheckstack'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugenacpi'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugenacpi'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugeniobm'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugeniobm'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugenmsrbm'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugenmsrbm'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugenmsrstore'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugenmsrstore'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugenpt'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugenpt'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugenschedcfg'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugenschedcfg'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugensinfo'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugensinfo'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugenspec'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugenspec'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugenukvm'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugenukvm'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugenvtd'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugenvtd'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mugenzp'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mugenzp'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mulnxbzpatch'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mulnxbzpatch'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/tools/mupack'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools/mupack'
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/tools'
make clean -C kernel
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/kernel'
expr: syntax error
expr: syntax error
rm -rf /home/ashutosh/Desktop/formal/muen/kernel/obj
rm -f .git-rev
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/kernel'
make clean -C pack
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/pack'
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/pack'
make clean -C policy
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/policy'
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/policy'
make clean -C components
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/components'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/libmuchannel'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/libmuchannel'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/libmudm'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/libmudm'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/libmutime'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/libmutime'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/libdebuglog'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/libdebuglog'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/libmusinfo'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/libmusinfo'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/libxhcidbg'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/libxhcidbg'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/crypter'
expr: syntax error
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/crypter'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/dbgserver'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/dbgserver'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/dm'
expr: syntax error
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/dm'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/idle'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/idle'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/linux'
make[3]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/linux/src'
make[3]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/linux/src'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/linux'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/ps2_drv'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/ps2_drv'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/sl'
expr: syntax error
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/sl'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/sm'
expr: syntax error
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/sm'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/time'
expr: syntax error
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/time'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/vt'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/vt'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/tau0'
expr: syntax error
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/tau0'
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components'
make clean -C rts
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/rts'
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/rts'
rm -rf contrib/obj
make clean -C contrib
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib'
make -C ada-bfd clean; make -C alog clean; make -C gnatcoll clean; make -C libhwbase clean; make -C lsc clean; make -C xia clean;
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/alog'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/alog'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/gnatcoll'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/gnatcoll'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/libhwbase'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/libhwbase'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/lsc'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/lsc'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/xia'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/xia'
rm -rf build
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib'
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# ls contrib/ada-bfd/
0001-Adapt-to-2.29-API-change-of-disassembler-function.patch Makefile
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# ls contrib/alog/
Makefile
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# make
make -C contrib
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib'
make -C ada-bfd || exit 1; make -C alog || exit 1; make -C gnatcoll || exit 1; make -C libhwbase || exit 1; make -C lsc || exit 1; make -C xia || exit 1;
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
Cloning into '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'...
remote: Enumerating objects: 1708, done.
remote: Total 1708 (delta 0), reused 0 (delta 0), pack-reused 1708
Receiving objects: 100% (1708/1708), 546.21 KiB | 491.00 KiB/s, done.
Resolving deltas: 100% (965/965), done.
Note: checking out '227fc89c8827874a0ed76cb22b55a0977254d5bb'.
You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by performing another checkout.
If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -b with the checkout command again. Example:
git checkout -b <new-branch-name>
HEAD is now at 227fc89 Merge pull request #3 from Kensan/build-fix
(Patch is indented 3 spaces.)
patching file src/bfd-disassembler-c.c
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking target system type... x86_64-unknown-linux-gnu
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking whether gcc understands -c and -o together... yes
checking whether make sets $(MAKE)... yes
checking for a BSD-compatible install... /usr/bin/install -c
checking for ranlib... ranlib
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking bfd.h usability... yes
checking bfd.h presence... yes
checking for bfd.h... yes
checking dis-asm.h usability... yes
checking dis-asm.h presence... yes
checking for dis-asm.h... yes
checking demangle.h usability... no
checking demangle.h presence... no
checking for demangle.h... no
checking libiberty/demangle.h usability... yes
checking libiberty/demangle.h presence... yes
checking for libiberty/demangle.h... yes
checking for bfd_openr in -lbfd... yes
checking for dlopen in -ldl... yes
checking for dcgettext in -lintl... no
configure: creating ./config.status
config.status: creating Makefile
config.status: creating bfdada.gpr
config.status: creating distrib/bfdada.gpr
config.status: creating src/config.h
make[3]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
make LIBRARY_TYPE=static build
make[4]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
mkdir -p bin
gcc -o bin/bfdgen -g -O2 -DHAVE_LIB_DL=1 -Isrc -g support/bfdgen.c
bin/bfdgen > src/bfd-constants.ads
gprbuild -XMODE=distrib -XPROCESSORS=4 -m -p -P"bfdada.gpr" -XMODE=distrib -XLIBRARY_TYPE=static -XPROCESSORS=4
Setup
[mkdir] object directory for project Bfdada
[mkdir] library directory for project Bfdada
Compile
[C] bfd-disassembler-c.c
[C] bfdc.c
[Ada] bfd-constants.ads
[Ada] bfd-files.adb
[Ada] bfd.adb
[Ada] bfd-symbols.adb
[Ada] bfd-thin-symbols.ads
[Ada] bfd-sections.adb
[Ada] bfd-thin-sections.ads
[Ada] bfd-thin-disassembler.ads
[Ada] bfd-internal.ads
[Ada] bfd-disassembler.adb
[Ada] bfd-thin.ads
Build Libraries
[gprlib] ada-bfd.lexch
[archive] libada-bfd.a
[index] libada-bfd.a
make[4]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
make[3]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
make[3]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
make LIBRARY_TYPE=static install_lib
make[4]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
mkdir -p /home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada
mkdir -p /home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/../build/share/ada/adainclude/
mkdir -p /home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/../build/lib/ada/adalib//bfdada
cp -p src/*.ad[bs] /home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada
sed -e "s,INSTALL,/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/../build,g" -e "s,LIBRARY_TYPE,static,g" < distrib/bfdada.gpr > /home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada.gpr
cp -p lib/static/*.ali /home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/../build/lib/ada/adalib//bfdada/
cp lib/static/libada-bfd.a /home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/../build/lib/
make[4]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
make[3]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd'
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/alog'
Cloning into '/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/alog'...
remote: Counting objects: 3829, done.
remote: Compressing objects: 100% (1484/1484), done.
remote: Total 3829 (delta 2888), reused 2929 (delta 2283)
Receiving objects: 100% (3829/3829), 852.13 KiB | 1015.00 KiB/s, done.
Resolving deltas: 100% (2888/2888), done.
Note: checking out 'd1a98fe'.
You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by performing another checkout.
If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -b with the checkout command again. Example:
git checkout -b <new-branch-name>
HEAD is now at d1a98fe Drop unneeded use clauses
make[3]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/alog'
Setup
[mkdir] object directory for project Alog
[mkdir] library directory for project Alog
Compile
[C] glue_syslog.c
[Ada] alog.ads
gnat1: invalid switch: -gnat05
gprbuild: *** compilation phase failed
Makefile:62: recipe for target 'build_lib' failed
make[3]: *** [build_lib] Error 4
make[3]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/alog'
../contrib.mk:42: recipe for target '/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/.alog-build' failed
make[2]: *** [/home/ashutosh/Desktop/formal/muen/contrib/alog/tmp/.alog-build] Error 2
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/alog'
Makefile:16: recipe for target 'build_recipes' failed
make[1]: *** [build_recipes] Error 1
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib'
Makefile:13: recipe for target 'contrib' failed
make: *** [contrib] Error 2
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen#
Adrian-Ken Rueegsegger
Apr 3, 2019, 7:53:35 PM4/3/19
to yadavika...@gmail.com, muen-dev
Hi,
On 4/4/19 12:39 AM, yadavika...@gmail.com wrote:
> here is the output!
>
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git checkout
> develerror: Your local changes to the following files would be overwritten
> by checkout:
The error message means that Git was not able to switch to the devel
branch. Have you edited or added any files? If there are no
changes/files of value in the Muen tree then you can reset it using the
following commands (WARNING: this will remove *all* changes and extra
files from the Muen directory):
$ git reset --hard
$ git clean -dxf
Then you can try again switching to the devel branch:
$ git checkout devel
$ git submodule update
$ make
Hope this lets you build the project.
Regards,
Adrian
On 4/4/19 12:39 AM, yadavika...@gmail.com wrote:
> here is the output!
>
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git checkout
> develerror: Your local changes to the following files would be overwritten
> by checkout:
branch. Have you edited or added any files? If there are no
changes/files of value in the Muen tree then you can reset it using the
following commands (WARNING: this will remove *all* changes and extra
files from the Muen directory):
$ git reset --hard
$ git clean -dxf
Then you can try again switching to the devel branch:
$ git checkout devel
$ git submodule update
$ make
Hope this lets you build the project.
Regards,
Adrian
yadavika...@gmail.com
Apr 4, 2019, 3:53:33 AM4/4/19
to muen-dev
hello,
Here is the output!
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git checkout develM components/libxhcidbg
M components/linux/src
M tools/mugenschedcfg
Branch 'devel' set up to track remote branch 'devel' from 'origin'.
Switched to a new branch 'devel'
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git submodule update
error: Your local changes to the following files would be overwritten by checkout:
.gitignore
.mailmap
COPYING
CREDITS
Documentation/00-INDEX
Documentation/ABI/obsolete/proc-sys-vm-nr_pdflush_threads
Documentation/ABI/obsolete/sysfs-gpio
Documentation/ABI/stable/sysfs-bus-vmbus
Documentation/ABI/stable/sysfs-devices
Documentation/ABI/stable/sysfs-devices-node
Documentation/ABI/testing/evm
Documentation/ABI/testing/ima_policy
Documentation/ABI/testing/sysfs-ata
Documentation/ABI/testing/sysfs-bus-acpi
Documentation/ABI/testing/sysfs-bus-iio
Documentation/ABI/testing/sysfs-bus-iio-chemical-vz89x
Documentation/ABI/testing/sysfs-bus-iio-cros-ec
Documentation/ABI/testing/sysfs-bus-iio-proximity-as3935
Documentation/ABI/testing/sysfs-bus-rbd
Documentation/ABI/testing/sysfs-bus-rpmsg
Documentation/ABI/testing/sysfs-bus-thunderbolt
Documentation/ABI/testing/sysfs-bus-usb
Documentation/ABI/testing/sysfs-class-cxl
Documentation/ABI/testing/sysfs-class-infiniband
Documentation/ABI/testing/sysfs-class-mei
Documentation/ABI/testing/sysfs-class-mtd
Documentation/ABI/testing/sysfs-class-net
Documentation/ABI/testing/sysfs-class-pktcdvd
Documentation/ABI/testing/sysfs-class-power
Documentation/ABI/testing/sysfs-class-rc
Documentation/ABI/testing/sysfs-class-rc-nuvoton
Documentation/ABI/testing/sysfs-class-scsi_host
Documentation/ABI/testing/sysfs-devices-edac
Documentation/ABI/testing/sysfs-devices-power
Documentation/ABI/testing/sysfs-devices-system-cpu
Documentation/ABI/testing/sysfs-driver-samsung-laptop
Documentation/ABI/testing/sysfs-fs-f2fs
Documentation/ABI/testing/sysfs-kernel-irq
Documentation/ABI/testing/sysfs-kernel-livepatch
Documentation/ABI/testing/sysfs-kernel-mm-hugepages
Documentation/ABI/testing/sysfs-kernel-mm-ksm
Documentation/ABI/testing/sysfs-kernel-slab
Documentation/ABI/testing/sysfs-platform-ideapad-laptop
Documentation/ABI/testing/sysfs-power
Documentation/IPMI.txt
Documentation/IRQ-domain.txt
Documentation/Makefile
Documentation/PCI/pci-error-recovery.txt
Documentation/PCI/pci.txt
Documentation/RCU/Design/Data-Structures/Data-Structures.html
Documentation/RCU/Design/Expedited-Grace-Periods/Expedited-Grace-Periods.html
Documentation/RCU/Design/Requirements/Requirements.html
Documentation/RCU/rcu_dereference.txt
Documentation/RCU/stallwarn.txt
Documentation/RCU/whatisRCU.txt
Documentation/acpi/method-customizing.txt
Documentation/admin-guide/LSM/apparmor.rst
Documentation/admin-guide/README.rst
Documentation/admin-guide/bug-hunting.rst
Documentation/admin-guide/dynamic-debug-howto.rst
Documentation/admin-guide/index.rst
Documentation/admin-guide/kernel-parameters.rst
Documentation/admin-guide/kernel-parameters.txt
Documentation/admin-guide/module-signing.rst
Documentation/admin-guide/mono.rst
Documentation/admin-guide/pm/intel_pstate.rst
Documentation/admin-guide/pm/sleep-states.rst
Documentation/admin-guide/ramoops.rst
Documentation/admin-guide/reporting-bugs.rst
Documentation/admin-guide/security-bugs.rst
Documentation/admin-guide/tainted-kernels.rst
Documentation/admin-guide/thunderbolt.rst
Documentation/arm/Atmel/README
Documentation/arm/CCN.txt
Documentation/arm/Marvell/README
Documentation/arm/OMAP/README
Documentation/arm/Samsung-S3C24XX/S3C2412.txt
Documentation/arm/stm32/overview.txt
Documentation/arm/stm32/stm32f429-overview.txt
Documentation/arm/stm32/stm32f746-overview.txt
Documentation/arm/stm32/stm32h743-overview.txt
Documentation/arm/sunxi/README
Documentation/arm64/cpu-feature-registers.txt
Documentation/arm64/memory.txt
Documentation/arm64/silicon-errata.txt
Documentation/atomic_bitops.txt
Documentation/bcache.txt
Documentation/blackfin/00-INDEX
Documentation/blackfin/bfin-gpio-notes.txt
Documentation/blackfin/bfin-spi-notes.txt
Documentation/block/bfq-iosched.txt
Documentation/block/biodoc.txt
Documentation/block/cmdline-partition.txt
Documentation/block/null_blk.txt
Documentation/blockdev/zram.txt
Documentation/cachetlb.txt
Documentation/cdrom/cdrom-standard.tex
Documentation/cdrom/ide-cd
Documentation
Aborting
Unable to checkout 'f8a4c509c2e69dc56f9df1452020235aec1c06f3' in submodule path 'components/linux/src'
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# make
make -C contrib
make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib'
make -C ada-bfd || exit 1; make -C alog || exit 1; make -C gnatcoll || exit 1; make -C libhwbase || exit 1; make -C lsc || exit 1; make -C xia || exit 1;
make[2]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
fatal: destination path '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd' already exists and is not an empty directory.
../contrib.mk:30: recipe for target '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/.ada-bfd-download' failed
make[2]: *** [/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/.ada-bfd-download] Error 128
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
Makefile:16: recipe for target 'build_recipes' failed
make[1]: *** [build_recipes] Error 1
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/contrib'
Makefile:13: recipe for target 'contrib' failed
make: *** [contrib] Error 2
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen#
Adrian-Ken Rueegsegger
Apr 4, 2019, 4:18:37 AM4/4/19
to yadavika...@gmail.com, muen-dev
Hi,
On 4/4/19 9:53 AM, yadavika...@gmail.com wrote:
> hello,
> Here is the output!
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git checkout
> develM components/libxhcidbg
> M components/linux/src
> M tools/mugenschedcfg
> Branch 'devel' set up to track remote branch 'devel' from 'origin'.
> Switched to a new branch 'devel'
>
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git submodule
> update
> error: Your local changes to the following files would be overwritten by
> checkout:
For some reason the Linux submodule contains changes...
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# make
> make -C contrib
> make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib'
> make -C ada-bfd || exit 1; make -C alog || exit 1; make -C gnatcoll || exit
> 1; make -C libhwbase || exit 1; make -C lsc || exit 1; make -C xia || exit
> 1;
> make[2]: Entering directory
> '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
> fatal: destination path
> '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd' already
> exists and is not an empty directory.
This error is because apparently the contrib directory did not get
cleaned. Are you sure you ran the git clean command?
At this point I think the easiest thing for you to do is to delete the
entire Muen source tree and do a fresh checkout like so:
$ git clone --recursive -b devel https://git.codelabs.ch/git/muen.git
This should get you a pristine state of the current Muen devel branch
including the correct submodules.
Regards,
Adrian
On 4/4/19 9:53 AM, yadavika...@gmail.com wrote:
> hello,
> Here is the output!
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git checkout
> develM components/libxhcidbg
> M components/linux/src
> M tools/mugenschedcfg
> Branch 'devel' set up to track remote branch 'devel' from 'origin'.
> Switched to a new branch 'devel'
>
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# git submodule
> update
> error: Your local changes to the following files would be overwritten by
> checkout:
> root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen# make
> make -C contrib
> make[1]: Entering directory '/home/ashutosh/Desktop/formal/muen/contrib'
> make -C ada-bfd || exit 1; make -C alog || exit 1; make -C gnatcoll || exit
> 1; make -C libhwbase || exit 1; make -C lsc || exit 1; make -C xia || exit
> 1;
> make[2]: Entering directory
> '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd'
> fatal: destination path
> '/home/ashutosh/Desktop/formal/muen/contrib/ada-bfd/tmp/ada-bfd' already
> exists and is not an empty directory.
cleaned. Are you sure you ran the git clean command?
At this point I think the easiest thing for you to do is to delete the
entire Muen source tree and do a fresh checkout like so:
$ git clone --recursive -b devel https://git.codelabs.ch/git/muen.git
This should get you a pristine state of the current Muen devel branch
including the correct submodules.
Regards,
Adrian
yadavika...@gmail.com
Apr 4, 2019, 6:37:32 AM4/4/19
to muen-dev
hello,
Encountered with following error!
--2019-04-04 16:04:46-- https://codelabs-ch.github.io/buildroot-muen/initramfs.cpio.gz-smp-4.18.sha256
Connecting to 172.31.102.29:3128... connected.
Proxy request sent, awaiting response... 200 OK
Length: 93 [application/octet-stream]
Saving to: ‘initramfs.cpio.gz-smp-4.18.sha256’
initramfs.cpio.gz-smp-4.18.sha256 100%[================================================================================================================>] 93 --.-KB/s in 0s
2019-04-04 16:04:46 (2.94 MB/s) - ‘initramfs.cpio.gz-smp-4.18.sha256’ saved [93/93]
sha256sum -c initramfs.cpio.gz-smp-4.18.sha256
initramfs.cpio.gz-smp-4.18: OK
mv initramfs.cpio.gz-smp-4.18 /home/ashutosh/Desktop/formal/muen/components/linux/obj/initramfs.cpio.gz
rm initramfs.cpio.gz-smp-4.18.sha256
make CC="cc" LOCALVERSION= HOSTCC="cc" oldconfig -C src
make[3]: Entering directory '/home/ashutosh/Desktop/formal/muen/components/linux/src'
HOSTCC scripts/basic/fixdep
HOSTCC scripts/kconfig/conf.o
YACC scripts/kconfig/zconf.tab.c
/bin/sh: 1: bison: not found
scripts/Makefile.lib:196: recipe for target 'scripts/kconfig/zconf.tab.c' failed
make[4]: *** [scripts/kconfig/zconf.tab.c] Error 127
Makefile:531: recipe for target 'oldconfig' failed
make[3]: *** [oldconfig] Error 2
make[3]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/linux/src'
Makefile:20: recipe for target '/home/ashutosh/Desktop/formal/muen/components/linux/obj/.built' failed
make[2]: *** [/home/ashutosh/Desktop/formal/muen/components/linux/obj/.built] Error 2
make[2]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components/linux'
Makefile:31: recipe for target 'linux' failed
make[1]: *** [linux] Error 2
make[1]: Leaving directory '/home/ashutosh/Desktop/formal/muen/components'
Makefile:22: recipe for target 'components' failed
make: *** [components] Error 2
root@ashutosh-HP-Notebook:/home/ashutosh/Desktop/formal/muen#
Adrian-Ken Rueegsegger
Apr 4, 2019, 6:50:07 AM4/4/19
to muen...@googlegroups.com
Hi,
It seems that the bison package is missing from your system. If you are
running a Debian-style system please issue the following commands either
as root or using sudo:
$ apt-get install bison flex
Regards,
Adrian
running a Debian-style system please issue the following commands either
as root or using sudo:
$ apt-get install bison flex
Regards,
Adrian
yadavika...@gmail.com
Apr 4, 2019, 4:27:30 PM4/4/19
to muen-dev
Thank you very much for your help!
Successfully got the system image and emulated using Bochs IA-32 emulator.
Reply all
Reply to author
Forward
0 new messages