WebServer example does not build

halvm

#1

Hello,

I’ve been trying to work through https://github.com/GaloisInc/HaLVM/wiki/HaLVM-Web-Server-Quick-Start, and everything works fine until the very last step, which is to do a make on the WebServer itself:

[root@localhost WebServer]# make
halvm-ghc   --make -o WebServer WebServer.hs

WebServer.hs:17:8:
    Could not find module ‘Hans.Address.IP4’
    Use -v to see a list of the files searched for.

WebServer.hs:18:8:
    Could not find module ‘Hans.Device.Xen’
    it is a hidden module in the package ‘hans-3.0.1’
    Use -v to see a list of the files searched for.

WebServer.hs:19:8:
    Could not find module ‘Hans.DhcpClient’
    Use -v to see a list of the files searched for.

WebServer.hs:20:8:
    Could not find module ‘Hans.Layer.Dns’
    Use -v to see a list of the files searched for.

WebServer.hs:22:18:
    Could not find module ‘Hans.NetworkStack’
    Use -v to see a list of the files searched for.
../../standard.mk:20: recipe for target 'WebServer' failed
make: *** [WebServer] Error 1

Does anyone know a fix for this? Thanks!

Cheers,

Victor


#2

Yup, my bad. Let me point you to halvm-web instead. I need to nuke the WebServer example in the HaLVM tree, replace it with halvm-web, and update that wiki page, but haven’t gotten to it, yet. Thanks for the reminder! I’ll try to get to it soon.