Just in case some more hardware details:
Architecture: x86_64
CPU op-mode(s): 32-bit, 64-bit
Byte Order: Little Endian
CPU(s): 8
On-line CPU(s) list: 0-7
Thread(s) per core: 2
Core(s) per socket: 4
Socket(s): 1
NUMA node(s): 1
Vendor ID: GenuineIntel
CPU family: 6
Model: 60
Model name: Intel(R) Core(TM) i7-4700HQ CPU @ 2.40GHz
Stepping: 3
CPU MHz: 2399.906
CPU max MHz: 3400.0000
CPU min MHz: 800.0000
BogoMIPS: 4789.26
Virtualization: VT-x
L1d cache: 32K
L1i cache: 32K
L2 cache: 256K
L3 cache: 6144K
NUMA node0 CPU(s): 0-7
Flags: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge
mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall
nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl
xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor
ds_cpl vmx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic
movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm epb
tpr_shadow vnmi flexpriority ept vpid fsgsbase tsc_adjust bmi1 avx2 smep
bmi2 erms invpcid xsaveopt dtherm ida arat pln pts
H/W path Device Class Description
====================================================
system X761X (To be filled by O.E.M.)
/0 bus X761X
/0/0 memory 64KiB BIOS
/0/3e processor Intel(R) Core(TM) i7-4700HQ CPU @
2.40GHz
/0/3e/3f memory 1MiB L2 cache
/0/3e/40 memory 256KiB L1 cache
/0/3e/41 memory 6MiB L3 cache
/0/42 memory 16GiB System Memory
/0/42/0 memory 8GiB SODIMM DDR3 Synchronous 1600
MHz (0.6 ns)
/0/42/1 memory 8GiB SODIMM DDR3 Synchronous 1600
MHz (0.6 ns)
/0/100 bridge Xeon E3-1200 v3/4th Gen Core
Processor DRAM Controller
/0/100/1 bridge Xeon E3-1200 v3/4th Gen Core
Processor PCI Express x16 Controlle
/0/100/1/0 display GK106M [GeForce GTX 765M]
/0/100/1/0.1 multimedia GK106 HDMI Audio Controller
/0/100/2 display 4th Gen Core Processor Integrated
Graphics Controller
/0/100/14 bus 8 Series/C220 Series Chipset
Family USB xHCI
/0/100/14/0 usb3 bus xHCI Host Controller
/0/100/14/0/5 input Razer Orochi
/0/100/14/0/7 communication Bluetooth wireless interface
/0/100/14/0/8 multimedia USB 2.0 Webcam Device
/0/100/14/0/e input MSI EPF USB
/0/100/14/1 usb4 bus xHCI Host Controller
/0/100/16 communication 8 Series/C220 Series Chipset
Family MEI Controller #1
/0/100/1a bus 8 Series/C220 Series Chipset
Family USB EHCI #2
/0/100/1a/1 usb1 bus EHCI Host Controller
/0/100/1a/1/1 bus USB hub
/0/100/1b multimedia 8 Series/C220 Series Chipset High
Definition Audio Controller
/0/100/1c bridge 8 Series/C220 Series Chipset
Family PCI Express Root Port #1
/0/100/1c.2 bridge 8 Series/C220 Series Chipset
Family PCI Express Root Port #3
/0/100/1c.3 bridge 8 Series/C220 Series Chipset
Family PCI Express Root Port #4
/0/100/1c.3/0 enp4s0 network Killer E220x Gigabit Ethernet
Controller
/0/100/1c.4 bridge 8 Series/C220 Series Chipset
Family PCI Express Root Port #5
/0/100/1c.4/0 wlp5s0 network Wireless 7260
/0/100/1d bus 8 Series/C220 Series Chipset
Family USB EHCI #1
/0/100/1d/1 usb2 bus EHCI Host Controller
/0/100/1d/1/1 bus USB hub
/0/100/1f bridge HM87 Express LPC Controller
/0/100/1f.2 storage 8 Series/C220 Series Chipset
Family 6-port SATA Controller 1 [AH
/0/100/1f.3 bus 8 Series/C220 Series Chipset
Family SMBus Controller
/0/1 scsi0 storage
/0/1/0.0.0 /dev/sda disk 128GB SanDisk SD6SF1M1
/0/1/0.0.0/1 /dev/sda1 volume 498MiB Windows NTFS volume
/0/1/0.0.0/2 /dev/sda2 volume 99MiB Windows FAT volume
/0/1/0.0.0/3 /dev/sda3 volume 127MiB reserved partition
/0/1/0.0.0/4 /dev/sda4 volume 1023MiB Windows FAT volume
/0/1/0.0.0/5 /dev/sda5 volume 117GiB Windows NTFS volume
/0/2 scsi4 storage
/0/2/0.0.0 /dev/sdb disk 1TB ST1000LM024 HN-M
/0/2/0.0.0/1 /dev/sdb1 volume 199MiB Windows FAT volume
/0/2/0.0.0/2 /dev/sdb2 volume 500MiB EXT4 volume
/0/2/0.0.0/3 /dev/sdb3 volume 205GiB LVM Physical Volume
/0/2/0.0.0/4 /dev/sdb4 volume 334GiB Windows NTFS volume
/0/2/0.0.0/5 /dev/sdb5 volume 390GiB Windows NTFS volume
/1 power To Be Filled By O.E.M.
On Wednesday, August 31, 2016 at 9:38:51 PM UTC+2, Simon Brandhorst wrote:
>
> So far I am using precompiled binaries. They work. Now I am thinking on
> writing my own branch/contributing to sage so I followed the instructions on
>
> http://doc.sagemath.org/html/en/developer/walk_through.html
>
> to get a developer version of sage.
> Basically I just typed
>
> git clone git://github.com/sagemath/sage.git
> cd sage
> git checkout develop
> make
>
> And get an error Message:
> [singular-3.1.7p1.p2] checking size of long... (cached) 0
> [singular-3.1.7p1.p2] checking size of void*... 8
> [singular-3.1.7p1.p2] checking size of double... 8
> [singular-3.1.7p1.p2] checking size of size_t... 8
> [singular-3.1.7p1.p2] configure: error: need equal sizes for long and void*
> [singular-3.1.7p1.p2] configure: error: ./configure failed for omalloc
> [singular-3.1.7p1.p2] Unable to configure Singular.
> [singular-3.1.7p1.p2] Error building Singular (error in config).
>
> (the log is too big to attach)
> What went wrong?
>
> So here are the system details:
>
>
>
> Linux 4.6.7-300.fc24.x86_64 #1 SMP Wed Aug 17 18:48:43 UTC 2016 x86_64
> x86_64 x86_64 GNU/Linux
>
> LSB Version:
> :core-4.1-amd64:core-4.1-noarch:cxx-4.1-amd64:cxx-4.1-noarch:desktop-4.1-amd64:desktop-4.1-noarch:languages-4.1-amd64:languages-4.1-noarch:printing-4.1-amd64:printing-4.1-noarch
> Distributor ID: Fedora
> Description: Fedora release 24 (Twenty Four)
> Release: 24
> Codename: TwentyFour
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
