search

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.
http://ltlmop.github.io
GNU General Public License v3.0
56 stars 70 forks source link

Error in compilation #99

Open rahulrajpl opened 5 years ago

rahulrajpl commented 5 years ago

image All the dependencies are satisfied. Program works perfectly. But the above error occurs during the compilation. Kindly let me know how to resolve this.

rahulrajpl commented 5 years ago

Additional info $ sudo lshw -short H/W path Device Class Description ==================================================== system 81DE (LENOVO_MT_81DE_BU_idea_FM_ideapad 330-15IKB) /0 bus LNVNB161216 /0/0 memory 128KiB BIOS /0/4 processor Intel(R) Core(TM) i5-8250U CPU @ 1.60GHz /0/4/5 memory 256KiB L1 cache /0/4/6 memory 1MiB L2 cache /0/4/7 memory 6MiB L3 cache /0/25 memory 8GiB System Memory /0/25/0 memory 4GiB SODIMM DDR4 Synchronous Unbuffered (Unregistered) 2133 MHz (0.5 ns) /0/25/1 memory 4GiB SODIMM DDR4 Synchronous Unbuffered (Unregistered) 2133 MHz (0.5 ns) /0/100 bridge Xeon E3-1200 v6/7th Gen Core Processor Host Bridge/DRAM Registers /0/100/2 display UHD Graphics 620 /0/100/14 bus Sunrise Point-LP USB 3.0 xHCI Controller /0/100/14/0 usb1 bus xHCI Host Controller /0/100/14/0/1 input USB Optical Mouse /0/100/14/0/7 communication Bluetooth wireless interface /0/100/14/0/8 multimedia EasyCamera /0/100/14/1 usb2 bus xHCI Host Controller /0/100/14.2 generic Sunrise Point-LP Thermal subsystem /0/100/15 generic Sunrise Point-LP Serial IO I2C Controller #0 /0/100/16 communication Sunrise Point-LP CSME HECI #1 /0/100/17 storage Sunrise Point-LP SATA Controller [AHCI mode] /0/100/1c bridge Sunrise Point-LP PCI Express Root Port #1 /0/100/1c/0 display GP108M [GeForce MX150] /0/100/1c.4 bridge Sunrise Point-LP PCI Express Root Port #5 /0/100/1c.4/0 enp2s0 network RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller /0/100/1c.5 bridge Sunrise Point-LP PCI Express Root Port #6 /0/100/1c.5/0 wlp3s0 network Dual Band Wireless-AC 3165 Plus Bluetooth /0/100/1f bridge Intel(R) 100 Series Chipset Family LPC Controller/eSPI Controller - 9D4E /0/100/1f.2 memory Memory controller /0/100/1f.3 multimedia Sunrise Point-LP HD Audio /0/100/1f.4 bus Sunrise Point-LP SMBus /0/1 scsi0 storage
/0/1/0.0.0 /dev/sda disk 1TB ST1000LM035-1RK1 /0/1/0.0.0/1 /dev/sda1 volume 141MiB Windows FAT volume /0/1/0.0.0/2 /dev/sda2 volume 7681MiB Linux swap volume /0/1/0.0.0/3 /dev/sda3 volume 93GiB EXT4 volume /0/1/0.0.0/4 /dev/sda4 volume 830GiB EXT4 volume /1 power CRB Battery 0 /2 power OEM Define 5

$ uname -a Linux rahul-Lenovo-ideapad-330-15IKB 4.20.15-042015-generic #201903100332 SMP Sun Mar 10 07:34:10 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux

$ lsb_release -a No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 18.04.2 LTS Release: 18.04 Codename: bionic

$ cat /etc/*release DISTRIB_ID=Ubuntu DISTRIB_RELEASE=18.04 DISTRIB_CODENAME=bionic DISTRIB_DESCRIPTION="Ubuntu 18.04.2 LTS" NAME="Ubuntu" VERSION="18.04.2 LTS (Bionic Beaver)" ID=ubuntu ID_LIKE=debian PRETTY_NAME="Ubuntu 18.04.2 LTS" VERSION_ID="18.04" HOME_URL="https://www.ubuntu.com/" SUPPORT_URL="https://help.ubuntu.com/" BUG_REPORT_URL="https://bugs.launchpad.net/ubuntu/" PRIVACY_POLICY_URL="https://www.ubuntu.com/legal/terms-and-policies/privacy-policy" VERSION_CODENAME=bionic UBUNTU_CODENAME=bionic

rahulrajpl commented 5 years ago

image